Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
Edición de la obra Software Engineering and Formal Methods
| Autor | Carla Ferreira, Tim A. C. Willemse |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031471148 |
| Número de Cutter | F383s |