TY  - RPRT
TI  - Uniform Substitution for Differential Refinement Logic
AU  - Enguerrand Prebet
AU  - André Platzer
PY  - 2024
DO  - 10.1007/978-3-031-63501-4_11
UR  - https://arxiv.org/abs/2404.16734
ID  - 2404.16734
ER  -