Computer Aided Verification
de Arie Gurfinkel, Vijay Ganesh
Ediciones (3)
- Computer Aided Verification (2024)
Springer · inglés · ISBN 9783031656262
- Computer Aided Verification (2024)
Springer · inglés · ISBN 9783031656293
- Computer Aided Verification (2024)
Springer · inglés · ISBN 9783031656323
