© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Doctoral Symposium Proceedings, Integrated Formal Methods 2004
Eerke Boiten, John Derrick, and Graeme Smith
Technical Report 4-04, University of Kent, Computing Laboratory, April 2004. Download publication (HTML)Bibtex Record
@techreport{1861,
author = {Eerke Boiten and John Derrick and Graeme Smith},
title = {{Doctoral Symposium Proceedings, Integrated Formal Methods 2004}
},
month = {April},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1861},
publication_type = {techreport},
submission_id = {1606_1080573116},
number = {4-04},
institution = {University of Kent, Computing Laboratory},
}