NASA Formal Methods
Subtitle: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Publisher: Springer
Published: Apr 17, 2013
Format: paperback
Number of pages: 510
ISBN-13: 9783642380877
Notes: Source title: NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science (7871))