ISBN 9783540664628 books & textbook
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Lecture Notes in Computer Science, 1641)
Hutter, Dieter Stephan, Werner Traverso, Paolo Ullmann, Markus
Springer /1999-08-25 Paperback / 396 Pages
isbn-10: 3540664629 / isbn-13: 9783540664628
