NASA Formal Methods
Subtitle: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Publisher: Springer
Published: Apr 09, 2015
Format: paperback
Number of pages: 471
ISBN-13: 9783319175232
Notes: Source title: NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science (9058))