Anton Wijs

No bio available. Add one in Open Library.

Books by Anton Wijs (50 max)

+ shelf+ list

Model Checking Software 23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings

2016

Dragan Bošnački, Anton Wijs

+ shelf+ list

Concise Guide to Software Verification: From Model Checking to Annotation Checking

2023

Marieke Huisman, Anton Wijs

+ shelf+ list

Ifm 2023: 18th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings

2023

Paula Herber, Anton Wijs