© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 = {},
keywords = {},
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},
}