TY - JOUR T1 - Predicate transformer semantics for hybrid systems: verification components for Isabelle/HOL JO - Journal of Automated Reasoning UR - https://eprints.whiterose.ac.uk/183890/ PY - 2021/10/31 AU - Huerta聽y聽Munive JJ AU - Struth G ED - DO - DOI: 10.1007/s10817-021-09607-x PB - Springer Science and Business Media LLC VL - 66 IS - 1 SP - 93 EP - 139 Y2 - 2025/05/18 ER -