© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Programming technology, reliability, safety and measurement
Leslie Hatton
IEE Computing and Control Engineering Journal, 9(1):182-196, February 1998.Bibtex Record
@article{760,
author = {Leslie Hatton},
title = {Programming technology, reliability, safety and measurement},
month = {February},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/760},
journal = {IEE Computing and Control Engineering Journal},
number = {1},
volume = {9},
}