ISBN 3540304924 books & textbook
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science, 3771)
Romijn, Judi M.T. Smith, Graeme P. van de Pol, Jaco C.
Springer /2005-11-24 Paperback / 418 Pages
isbn-10: 3540304924 / isbn-13: 9783540304920
