TY - CONF T1 - Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL PY - 2020/01/01 AU - Foster S AU - Huerta y Munive JJ AU - Struth G ED - DO - DOI: 10.1007/978-3-030-43520-2_11 PB - Springer International Publishing SN - 9783030435196 SP - 169 EP - 186 Y2 - 2025/06/21 ER -