© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Proceedings 15th International Refinement Workshop
J. Derrick, E.A. Boiten, and S. Reeves, editors
volume 55 of Electronic Proceedings in Theoretical Computer Science, June 2011 [doi].Abstract
See http://eptcs.org/content.cgi?Refine2011.Bibtex Record
@proceedings{3116,
author = {},
title = {Proceedings 15th International Refinement Workshop},
month = {June},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.4204/EPTCS.55},
url = {http://www.cs.kent.ac.uk/pubs/2011/3116},
publication_type = {proceedings},
submission_id = {18404_1308323736},
editor = {J. Derrick and E.A. Boiten and S. Reeves},
volume = {55},
series = {Electronic Proceedings in Theoretical Computer Science},
ISSN = {2075-2180},
}