NASA Formal Methods
Subtitle: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Publisher: Springer
Published: Apr 09, 2017
Format: paperback
Number of pages: 447
ISBN-13: 9783319572871
Notes: Source title: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science (10227))