Anton Wijs

Anton Wijs

Books

Co-authored books and collections

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

Model Checking SoftwareDragan Bošnački

Model Checking Software

Dragan Bošnački · 2024

Ifm 2023Paula Herber

Paula Herber · 2023

Concise Guide to Software VerificationMarieke Huisman

Concise Guide to Software Verification

Marieke Huisman · 2023