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

Full text!
Format:
e-book
Title:
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author:
Rozier, Kristin Yvonne.; Chaudhuri, Swarat
Language:
English
Publisher:
Cham Springer 2023
ISBN:
3-031-33169-9
3-031-33170-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:26821655900041?locale=en