Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Cosim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
Edición de la obra Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
| Autor | Javier Camara, Martin Steffen |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030575052 |
| Número de Cutter | C172s |