TY  - RPRT
TI  - A Uniform Substitution Calculus for Differential Dynamic Logic
AU  - André Platzer
PY  - 2015
DO  - 10.1007/978-3-319-21401-6_32
UR  - https://arxiv.org/abs/1503.01981
ID  - 1503.01981
ER  -