© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Writing Solid Software
S Pfleeger, L Hatton, and C Howell
Prentice-Hall, 2001.Bibtex Record
@book{1271,
author = {S Pfleeger and L Hatton and C Howell},
title = {{Writing Solid Software}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1271},
publication_type = {book},
submission_id = {1995_1000981427},
ISBN = {0-13-091298-0},
publisher = {Prentice-Hall},
}