NASA Formal Methods
15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Lecture Notes in Computer Science 13903
Herausgegeben:Rozier, Kristin Yvonne
Chaudhuri, Swarat
- 出版社：Springer, Berlin; Springer Nature Switzerland; Spring
- 出版年月：2023年 00月
- ISBN：9783031331695
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2023. 2023. xxiii