Publication date:
December
2006
Publication date
(Print):
December
2006
Pages: 1-6
Affiliations
[0001]School of Computer Science and Information Technology
University of Nottingham
Nottingham NG8 1BB,
England
Article
DOI: 10.14236/ewic/TFM2006.6
SO-VID: c99aeb8e-4c83-45b0-a7d7-4578274e7580
Copyright © © Roland Backhouse. Published by BCS Learning and Development Ltd. Teaching Formal
Methods: Practice and Experience, BCS London Office, 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:
Teaching Formal Methods: Practice and Experience
Conference acronym:
TFM
Conference number:
Conference location:
BCS London Office, UK
Conference date:
15 December 2006
Conference sponsor:
Electronic Workshops in Computing (eWiC)
Conference theme:
Teaching Formal Methods: Practice and Experience