Publication date:
July
2003
Publication date
(Print):
July
2003
Pages: 1-5
Affiliations
[0001]School of Informatics
University of Edinburgh
King’s Buildings
Mayfield Road
Edinburgh EH9 3JZ
Scotland
Article
DOI: 10.14236/ewic/IWFM2003.3
SO-VID: fa0c5099-138d-4452-9abb-34005196809b
Copyright statement: © Gordon Plotkin et al. Published by BCS Learning and Development Ltd. 6th International
Workshop on Formal Methods, Dublin City University, Ireland
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:
6th International Workshop on Formal Methods
Conference acronym:
FM
Conference number:
6
Conference location:
Dublin City University, Ireland
Conference date:
11 July 2003
Conference sponsor:
Electronic Workshops in Computing (eWiC)
Conference theme:
Formal Methods