NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Full text!
Type:
e-book
Titel:
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Auteur:
Rozier, Kristin Yvonne.; Chaudhuri, Swarat
Taal:
Engels
Uitgever:
Cham Springer 2023
ISBN:
3-031-33169-9
3-031-33170-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:26821655900041