Software Engineering and Formal Methods
de Carla Ferreira, Tim A. C. Willemse
Materias
Ediciones (1)
- Software Engineering and Formal Methods (2023)
Springer · inglés · ISBN 9783031471148
de Carla Ferreira, Tim A. C. Willemse
Springer · inglés · ISBN 9783031471148