ISBN 3319064096 books & textbook
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Programming and Software Engineering)
Jones, Cliff Pihlajasaari, Pekka Sun, Jun
Springer /2014-04-09 Paperback / 768 Pages
isbn-10: 3319064096 / isbn-13: 9783319064093
