Integrated Formal Methods
20th International Conference, IFM 2025, Paris, France, November 19-21, 2025, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Ferruccio Damiani, Marie Farrell |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2025 |
| Idioma | inglés |
| Páginas | 510 |
| ISBN-13 | 9783032107930 |
| Número de Cutter | D158i |