© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Case History of Automated Improvement of Software Product Quality
Les Hatton
Software Quality Assurance and Measurement, Fenton N (ed):182-196, January 1994.Bibtex Record
@article{893,
author = {Les Hatton},
title = {{A Case History of Automated Improvement of Software Product Quality}},
month = {January},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/893},
journal = {Software Quality Assurance and Measurement},
publisher = {Chapman-Hall, London},
volume = {Fenton N (ed)},
}