ISBN 3319668447 books & textbook
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Programming and Software Engineering)
Polikarpova, Nadia Schneider, Steve
Springer /2017-08-27 Paperback / 459 Pages
isbn-10: 3319668447 / isbn-13: 9783319668444
