© 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}, }