Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Edición de la obra Formal Methods
| Autor | André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2024 |
| Idioma | inglés |
| Páginas | 650 |
| ISBN-13 | 9783031711619 |
| Número de Cutter | P719f |