© 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}, }