Verification, Model Checking, and Abstract Interpretation
de Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan
Ediciones (2)
- Verification, Model Checking, and Abstract Interpretation (2025)
Springer · inglés · ISBN 9783031826993
- Verification, Model Checking, and Abstract Interpretation (2025)
Springer · inglés · ISBN 9783031827020
