NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
- Author
- Julia M. Badger, Kristin Yvonne Rozier
- Publisher
- Springer International Publishing
- Language
- English
- Edition
- 1st ed.
- Year
- 2019
- Page
- XXI, 392
- ISBN
- 978-3-030-20651-2;978-3-030-20652-9
- File Type
- pdf
- File Size
- 18.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot