© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The T-experiments in Quality of Numerical Software, Assessment and Enhancement
Leslie Hatton
, pages 182-196 Chapman and Hall, London, January 1997.Bibtex Record
@inbook{771,
author = {Leslie Hatton},
title = {{The T-experiments in Quality of Numerical Software, Assessment and Enhancement}},
month = {January},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/771},
address = {London},
editor = {R F Boisvert},
publisher = {Chapman and Hall},
}