NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
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. The papers focus on formal verificatio...
Αποθηκεύτηκε σε:
| Other Authors / Creators: | Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. |
|---|---|
| Other Corporate Authors / Creators: | SpringerLink (Online service) |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: | 1st ed. 2019. |
| Imprint: | Cham : Springer International Publishing : Imprint: Springer, 2019. |
| Σειρά: | Programming and Software Engineering,
11460 |
| Θέματα: | |
| Διαθέσιμο Online: | Available in Springer Computer Science eBooks 2019 English/International. |