Home > NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Book Informaton
Author
Ritchie Lee; Susmit Jha; Anastasia Mavridou; Dimitra Giannakopoulou
Series
Lecture Notes in Computer Science
Volume
12229
Year of Publication
1st ed. 2020
Publisher
Springer International Publishing
Pages
XXI, 442
Language
EN
ISBN
9783030557539, 9783030557546
ARI Id
1665268708445
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |