NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Book title Buchtitel
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
ISBN
978-3-031-33170-1
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-031-33170-1
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
13903
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).