ISBN 9783642002540 books & textbook
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science, 5423)
Leuschel, Michael Wehrheim, Heike
Springer /2009-02-02 Paperback / 377 Pages
isbn-10: 3642002544 / isbn-13: 9783642002540
