Damien Zufferey

ספרים שבהם Damien Zufferey מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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