Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

Jonathan Huerta y Munive, Georg Struth, Simon David Foster

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results