ISBN 3030030431 books & textbook
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Programming and Software Engineering)
Massoni, Tiago Mousavi, Mohammad Reza
Springer /2018-10-24 Paperback / 281 Pages
isbn-10: 3030030431 / isbn-13: 9783030030438
