TY  - RPRT
TI  - Deductive Stability Proofs for Ordinary Differential Equations
AU  - Yong Kiam Tan
AU  - André Platzer
PY  - 2022
DO  - 10.1007/978-3-030-72013-1_10
UR  - https://arxiv.org/abs/2010.13096
ID  - 2010.13096
ER  -