NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
Edición de la obra NASA Formal Methods
| Autor | Ritchie Lee, Susmit Jha, Anastasia Mavridou |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030557539 |
| Número de Cutter | L479n |