Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Edición de la obra Formal Methods for Industrial Critical Systems
| Autor | Alessandro Cimatti, Laura Titolo |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031436802 |
| Número de Cutter | C573f |