Wisdom Haven
A
Anton Wijs
No biography available
Books by Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijs
5
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijs
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Paula Herber, Anton Wijs