Nasa formal methods: 11th international symposium, nfm 2019, houston, tx, usa, may 7–9, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030206512
Date de publication :
28 mai 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.