Search

You searched for: Auteur Wijs, Anton Remove constraint Auteur: Wijs, Anton
1 - 4 of 4
Number of results to display per page

Search Results

1. Model Checking Software
thumbnail
Full text!
Author:
Dragan Bošnački, Anton Wijs; Wijs, Anton
Publisher:
Springer International Publishing 2016
Format:
e-book
2. Concise Guide to Software Verification: From Model Checking to Annotation Checking
thumbnail
Full text!
Author:
Marieke Huisman; Wijs, Anton
Publisher:
Springer Nature (Textbooks & Major Reference Works) 2023
Format:
e-book
3. Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
thumbnail
Full text!
Author:
Salaün, Gwen; Wijs, Anton
Publisher:
Springer 2021
Format:
e-book
4. Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
thumbnail
Full text!
Author:
Neele, Thomas.; Wijs, Anton
Publisher:
Cham Springer 2024
Format:
e-book