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