© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Refine 2007 participants' proceedings
Eerke A. Boiten, John Derrick, and Graeme Smith
Technical Report 4-07, University of Kent, Computing Laboratory, July 2007.Abstract
Participants' proceedings. They are not available electronically, as they will appear in Electronic Notes in Theoretical Computer Science soon. Until then, please email Eerke Boiten to request a paper copy.See www.softeng.ox.ac.uk/ifm2007/refinement.html for the workshop programme.
There will also be a special issue of Formal Aspects of Computing
dedicated to this workshop, but that will not appear before mid 2008.
Bibtex Record
@techreport{2587, author = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Refine 2007 Participants' Proceedings}, month = {July}, year = {2007}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2007/2587}, publication_type = {techreport}, submission_id = {6140_1184680019}, number = {4-07}, institution = {University of Kent, Computing Laboratory}, }