Marieke Huisman · 11 obras en el catálogoObrasTools and Algorithms for the Construction and Analysis of SystemsIntegrated Formal MethodsTools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASFFundamental Approaches to Software EngineeringFundamental Approaches to Software EngineeringFFormal MethodsFormal MethodsCConstruction and Analysis of Safe, Secure, and InteroperableConstruction and Analysis of Safe, Secure, and Interoperable Smart DevicesFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsFFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and SystemsCConcise Guide to Software VerificationConcise Guide to Software VerificationPProceedings of the 8th International Workshop on SpecificatiProceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsTTests and ProofsTests and Proofs
CConstruction and Analysis of Safe, Secure, and InteroperableConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices
FFormal Techniques for Distributed Objects, Components, and SFormal Techniques for Distributed Objects, Components, and Systems
PProceedings of the 8th International Workshop on SpecificatiProceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
