Anton Wijs

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

Model Checking SoftwareDragan Bošnački

Model Checking Software

Dragan Bošnački · 2024

Ifm 2023Paula Herber

Ifm 2023

Paula Herber · 2023

Concise Guide to Software VerificationMarieke Huisman

Concise Guide to Software Verification

Marieke Huisman · 2023