Integrated Formal Methods
17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Maurice H. ter Beek, Rosemary Monahan |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2022 |
| Idioma | inglés |
| ISBN-13 | 9783031077265 |
| Número de Cutter | B414i |