NASA formal methods 14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings /
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invi...
Full description
Saved in:
| Corporate Authors: |
NFM (Conference) Pasadena, Calif.) |
| Other Authors: |
NFM (Conference), Deshmukh, Jyotirmoy,, Havelund, Klaus, 1955-, Perez, Ivan (Research scientist),, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham :
Springer,
[2022]
|
| Physical Description: |
1 online resource : illustrations (chiefly color).
|
| Series: |
Lecture notes in computer science ;
13260.
|
| Subjects: |
|