ISBN 3540236112 books & textbook
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science, 3294)
Dean, C. Neville Boute, Raymond T.
Springer /2004-11-17 Paperback / 260 Pages
isbn-10: 3540236112 / isbn-13: 9783540236115
