Damien Zufferey

Books that list Damien Zufferey among their authors but not as the lead author: co-written works, collections and compilations.

Verification, Model Checking, and Abstract InterpretationDirk Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer · 2020

Numerical Software VerificationMajid Zamani

Numerical Software Verification

Majid Zamani · 2019