NASA Formal Methods
Subtitle: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Publisher: Springer
Published: Mar 11, 2018
Format: paperback
Number of pages: 481
ISBN-13: 9783319779348
Notes: Source title: NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science (10811))