Author

Damien Zufferey

2 books found

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer, Damien Zufferey · First published 2020

Cover of Numerical Software Verification

Numerical Software Verification

Majid Zamani, Damien Zufferey · First published 2019