© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 = {},
keywords = {refinement, formal methods},
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},
}