Marieke Huisman

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