NASA Formal Methods
Subtitle: 8th International Symposium, Nfm 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 396
ISBN-13: 9783319406473
Subjects: United states, national aeronautics and space administration; Computer science; Computer software, development