ISBN 9783642327582 books & textbook
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science, 7436)
Giannakopoulou, Dimitra Mery, Dominique
Springer /2012-07-21 Paperback / 504 Pages
isbn-10: 3642327583 / isbn-13: 9783642327582
