Books by Marieke Huisman
Concise Guide to Software Veri
Concise Guide to Software Verification
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Proceedings of the 8th Interna
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices