TY  - RPRT
TI  - Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL
AU  - Jonathan Julián Huerta y Munive
AU  - Georg Struth
PY  - 2021
UR  - https://arxiv.org/abs/1909.05618
ID  - 1909.05618
ER  -