André Platzer · 5 obras en el catálogoObrasCorrect System DesignLogical Analysis of Hybrid SystemsLogical Foundations of Cyber-Physical SystemsAAutomated Deduction - CADE 28Automated Deduction - CADE 28FFormal MethodsFormal Methods