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−Verlag Lecture Notes in Computer Science‚ volume 3294
Year
2004