© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Software Failure: avoiding the avoidable and living with the rest
Leslie Hatton
Addison Wesley, January 1998 In preparation.Bibtex Record
@book{768,
author = {Leslie Hatton},
title = {{Software Failure: avoiding the avoidable and living with the rest}},
month = {January},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {In preparation},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/768},
publisher = {Addison Wesley},
}