NASA Formal Methods
Subtitle: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Publisher: Springer
Published: Apr 02, 2014
Format: paperback
Number of pages: 386
ISBN-13: 9783319061993
Notes: Source title: NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Lecture Notes in Computer Science (8430))