Publication date:
September
1998
Publication date
(Print):
September
1998
Pages: 1-18
Affiliations
[0001]Computing Laboratory, University of Kent
Canterbury, Kent, U.K.
Article
DOI: 10.14236/ewic/NFM1998.3
SO-VID: 2fe94927-ca68-42e8-b95c-ee0cecfd1d0c
Copyright © © Eerke Boiten et al. Published by BCS Learning and Development Ltd. 3rd BCS-FACS
Northern Formal Methods Workshop, Ilkley, 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:
3rd BCS-FACS Northern Formal Methods Workshop
Conference acronym:
NFM
Conference number:
3
Conference location:
Ilkley, UK
Conference date:
14-15 September 1998
Conference sponsor:
Electronic Workshops in Computing (eWiC)
Conference theme:
BCS-FACS Northern Formal Methods Workshop