Stephan Merz · 7 obras en el catálogoObrasModeling and verification of real-time systemsFormal systems specificationTemporal logic and state systemsFormal Methods and Software EngineeringIntegrated Formal MethodsMModeling and Verification of Real-Time SystemsModeling and Verification of Real-Time SystemsInteractive Theorem Proving
