M
Marieke Huisman
11 works on record
Works
Tools and Algorithms for the Construction and Analysis of Systems
Integrated Formal Methods
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Formal Methods
Formal Methods
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Concise Guide to Software Verification
Concise Guide to Software Verification
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Tests and Proofs
Tests and Proofs