Teaching Formal Methods in Context
J. W. Davies‚ A. C. Simpson and A. P. Martin
Book Title
Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004
Editor
Dean‚ C. N. and Boute‚ R. F.
Pages
186–202
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3294
Year
2004