NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science, Band 10811)

Proceedings

von: Aaron Dutle · César Muñoz · Anthony Narkawicz

Taschenbuch

ISBN-13: 978-3-319-77934-8

ISBN-10: 3-319-77934-6

Springer · 2018