Nasa formal methods: 10th international symposium, nfm 2018, newport news, va, usa, april 17-19, 2018, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319779348
Date de publication :
11 mars 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.