© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Safer C: Developing for High-Integrity and Safety-Critical Systems
Les Hatton
McGraw-Hill, January 1995.Bibtex Record
@book{890,
author = {Les Hatton},
title = {{Safer C: Developing for High-Integrity and Safety-Critical Systems}},
month = {January},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/890},
ISBN = {0-07-707640-0},
publisher = {McGraw-Hill},
}