Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | Holger Schlingloff, Ming Chai |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031171079 |
| Número de Cutter | S344s |