TY  - RPRT
TI  - Relational Differential Dynamic Logic
AU  - Juraj Kolčák
AU  - Ichiro Hasuo
AU  - Jérémy Dubut
AU  - Shin-ya Katsumata
AU  - David Sprunger
AU  - Akihisa Yamada
PY  - 2020
UR  - https://arxiv.org/abs/1903.00153
ID  - 1903.00153
ER  -