© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Millennial Perspectives in Computer Science
J Davies, B Roscoe, and J Woodcock, editors
Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, 2000.Bibtex Record
@proceedings{1531,
author = {},
title = {{Millennial Perspectives in Computer Science}},
month = {unknown},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1531},
publication_type = {proceedings},
submission_id = {19701_1034344184},
editor = {J Davies and B Roscoe and J Woodcock},
series = {Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare},
}