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