© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Exploring the role of diagnosis in software failure
L Hatton
IEEE Software, pages 182-196, July 2001.Bibtex Record
@article{1272, author = {L Hatton}, title = {{Exploring the role of diagnosis in software failure}}, month = {July}, year = {2001}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2001/1272}, publication_type = {article}, submission_id = {2041_1000981674}, journal = {IEEE Software}, }