TY  - CONF

T1  - Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

UR  - https://doi.org/10.1007/978-3-030-90870-6_20

PY  - 2021/11/10

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

SN  - 9783030908690

SP  - 367

EP  - 386

Y2  - 2025/12/03

ER  -