Damien Zufferey

Books
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