Santen, Thomas books & textbook
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill
Springer /2000-10-18 Paperback / 456 Pages
isbn-10: 3540411968 / isbn-13: 9783540411963
