NASA Formal Methods
Springer International Publishing AG, 2018
66,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783319779348
- ISBN-10
- 3319779346
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-03-11
- Pages
- 470
- Dimensions
- 235x155x