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

ER  -