ISBN 9783319779348 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
