ISBN 3030908690 books & textbook
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Programming and Software Engineering)
Huisman, Marieke Păsăreanu, Corina Zhan, Naijun
Springer /2021-11-10 Paperback / 820 Pages
isbn-10: 3030908690 / isbn-13: 9783030908690
