ISBN 9783319192482 books & textbook
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Programming and Software Engineering)
Bjørner, Nikolaj de Boer, Frank
Springer /2015-06-02 Paperback / 626 Pages
isbn-10: 3319192485 / isbn-13: 9783319192482
