NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Full text!
Format:
e-book
Title:
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Author:
Deshmukh, Jyotirmoy V.; Havelund, Klaus; Perez, Ivan
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-031-06772-X
3-031-06773-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:22444522200041?locale=en