Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
ASYDE, CIFMA, and Cosim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, Revised Selected Papers
Edición de la obra Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
| Autor | Loek Cleophas, Mieke Massink |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9783030672195 |
| Número de Cutter | C628s |