Home Advanced Search
Advanced Search - Page 1
Concise Guide to Software Verification. From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
- RAR
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification : From Model Checking to Annotation Checking
- EPUB
- English
- Year: 2023
- Author: Marieke Huisman; Anton Wijs
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
- English
- Year: 2018
- Author: Dirk Beyer, Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems
- English
- Year: 2018
- Author: Dirk Beyer, Marieke Huisman
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
- EPUB
- English
- Year: 2021
- Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)
- English
- Year: 2022
- Author: Jan Friso Groote (editor), Marieke Huisman (editor)
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
- English
- Year: 2019
- Author: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
100+ AMRAP Workouts
- English
- Author: Huisman, Aaron