Publication date:
December
2007
Publication date
(Print):
December
2007
Pages: 1-6
Affiliations
[0001]IBM United Kingdom Limited
Article
DOI: 10.14236/ewic/FMI2007.5
SO-VID: df89a096-ad5e-448e-a50e-fd173217c4e6
Copyright © © Jonathan Lawrence. Published by BCS Learning and Development Ltd. FACS 2007 Christmas
Workshop: Formal Methods in Industry, BCS London, UK
License:
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To
view a copy of this license, visit
http://creativecommons.org/licenses/by/4.0/
Conference name:
FACS 2007 Christmas Workshop: Formal Methods in Industry
Conference acronym:
FMI
Conference number:
Conference location:
BCS London, UK
Conference date:
17 December 2007
Conference sponsor:
Electronic Workshops in Computing (eWiC)
Conference theme:
Formal Methods in Industry