© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Preface: Proceedings of the BCS-FACS Refinement Workshop (REFINE 2007)
E.A. Boiten, J. Derrick, and G. Smith
Electronic Notes in Theoretical Computer Science, 201:182-196, February 2008.Bibtex Record
@article{2675,
author = {E.A. Boiten and J. Derrick and G. Smith},
title = {Preface: Proceedings of the {BCS-FACS} {R}efinement {W}orkshop ({REFINE} 2007)},
month = {February},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2675},
publication_type = {article},
submission_id = {21395_1205156972},
ISSN = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {201},
}