Dutle, Aaron books & textbook
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
Dutle, Aaron Muñoz, César Narkawicz, Anthony
Springer /2018-03-11 Paperback / 481 Pages
isbn-10: 3319779346 / isbn-13: 9783319779348
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
Proving Program Termination With Matrix Weighted Digraphs
NASA /2015T Paperback
