Tallenna
NASA Formal Methods
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024.
- Alaotsikko
- 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
- Toimittaja
- Nathaniel Benz, Divya Gopinath, Nija Shi
- Painos
- 2024 ed.
- ISBN
- 9783031606977
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.5.2024
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 438
