TY - CONF T1 - Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs PY - 2021/01/01 AU - Foster S AU - Huerta y Munive JJ AU - Gleirscher M AU - Struth G ED - DO - DOI: 10.1007/978-3-030-90870-6_20 PB - Springer International Publishing SP - 367 EP - 386 Y2 - 2025/06/18 ER -