Anton Wijs

Books
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2023
Concise Guide to Software Verification Concise Guide to Software Verification
Concise Guide to Software Verification
2023
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
2021
Model Checking Software Model Checking Software
Model Checking Software
2016