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  - 2024/12/25

ER  -