Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | Frank de Boer, Antonio Cerone |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030587673 |
| Número de Cutter | B672s |