Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Brijesh Dongol, Elena Troubitsyna |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030634605 |
| Número de Cutter | D682i |