Browse
FAQ

Author

Anton Wijs

3 books found

Cover of Concise Guide to Software Verification

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs · First published 2023

Cover of Ifm 2023

Ifm 2023

Paula Herber, Anton Wijs · First published 2023

Cover of Model Checking Software

Model Checking Software

Dragan Bošnački, Anton Wijs · First published 2016