Marieke Huisman
Marieke Huisman
6 books in the database
Books
Tests and ProofsMarieke Huisman
Tests and Proofs
Marieke Huisman · 2024
Concise Guide to Software VerificationMarieke Huisman
Concise Guide to Software Verification
Marieke Huisman · 2023
Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman · 2023
Formal MethodsMarieke Huisman
Formal Methods
Marieke Huisman · 2021
Fundamental Approaches to Software EngineeringMarieke Huisman
Fundamental Approaches to Software Engineering
Marieke Huisman · 2017
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Marieke Huisman · 2009
Co-authored books and collections
Books that list Marieke Huisman among their authors but not as the lead author: co-written works, collections and compilations.
Integrated Formal MethodsErika Ábrahám
Integrated Formal Methods
Erika Ábrahám · 2016
Formal Methods for Industrial Critical SystemsJan Friso Groote
Formal Methods for Industrial Critical Systems
Jan Friso Groote · 2022
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer · 2018
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe · 2006