Damien Zufferey

Libri
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2020
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2019