Anton Wijs
Identifiers
- Open LibraryOL7992728A
Top Subjects
- Mathematics (2)
- Computer software, testing (1)
- Computer software, verification (1)
- Software engineering (1)
Books by Anton Wijs
Total count: 4
-
Model Checking Software23rd International Symposium, SPIN 2016, Co-Located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, ProceedingsSpringer London, Limited2016-01-01
-
Formal Aspects of Component Software17th International Symposium, FACS 2021, Virtual Event, October 28-29, 2021, ProceedingsSpringer International Publishing AG2021-01-01
-
Ifm 202318th International Conference, IFM 2023, Leiden, the Netherlands, November 13-15, 2023, ProceedingsSpringer2023-01-01
-
Concise Guide to Software VerificationFrom Model Checking to Annotation CheckingSpringer International Publishing AG2023-01-01