ISBN 3319489887 books & textbook
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)
Fitzgerald, John Heitmeyer, Constance Gnesi, Stefania Philippou, Anna
Springer /2016-11-08 Paperback / 812 Pages
isbn-10: 3319489887 / isbn-13: 9783319489889
