NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Edición de la obra NASA Formal Methods
| Autor | Jyotirmoy Deshmukh, Klaus Havelund, Ivan Perez |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031067723 |
| Número de Cutter | D456n |