Teaching Formal Methods in Context
Jim Davies‚ Andrew Simpson and Andrew Martin
Book Title
Symposium on Teaching Formal Methods
Editor
C. Neville Dean and Raymond T. Boute
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
3294
Year
2004