TY  - RPRT
TI  - A Complete Uniform Substitution Calculus for Differential Dynamic Logic
AU  - André Platzer
PY  - 2016
DO  - 10.1007/s10817-016-9385-1
UR  - https://arxiv.org/abs/1601.06183
ID  - 1601.06183
ER  -