© University of Kent - Contact | Feedback | Legal | FOI | Cookies
REFINE 2002: The BCS FACS Refinement Workshop
John Derrick, Eerke Boiten, Jim Woodcock, and Joakim von Wright, editors
volume 70(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, July 2002.Abstract
http://www1.elsevier.com/gej-ng/31/29/23/125/48/show/Products/notes/index.htt
Bibtex Record
@proceedings{1563,
author = {},
title = {{REFINE 2002: The BCS FACS Refinement Workshop}},
month = {July},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1563},
publication_type = {proceedings},
submission_id = {27780_1038826077},
editor = {John Derrick and Eerke Boiten and Jim Woodcock and Joakim von Wright},
volume = {70(3)},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier Science Publishers},
}