Nasa formal methods: 12th international symposium, nfm 2020, moffett field, ca, usa, may 11–15, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030557539
Date de publication :
9 août 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.