Nasa formal methods: 9th international symposium, nfm 2017, moffett field, ca, usa, may 16-18, 2017, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319572871
Date de publication :
9 avr. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.