Challenges of Software Verification
de Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
Ediciones (2)
- Challenges of Software Verification (2024)
Springer · inglés · ISBN 9789811996030
- Challenges of Software Verification (2023)
Springer · inglés · ISBN 9789811996009