ISBN 3319989375 books & textbook
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering)
Furia, Carlo A. Winter, Kirsten
Springer /2018-08-09 Paperback / 436 Pages
isbn-10: 3319989375 / isbn-13: 9783319989372
