Dutle, Aaron M. books & textbook
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Programming and Software Engineering)
Dutle, Aaron Moscato, Mariano M. Titolo, Laura Muñoz, César A. Perez, Ivan
Springer /2021-05-17 Paperback / 420 Pages
isbn-10: 3030763838 / isbn-13: 9783030763831
