ISBN 9783642307287 books & textbook
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)
Derrick, John Gnesi, Stefania Latella, Diego Treharne, Helen
Springer /2012-06-06 Paperback / 372 Pages
isbn-10: 3642307280 / isbn-13: 9783642307287
