TY  - RPRT
TI  - Approximate Relational Hoare Logic for Continuous Random Samplings
AU  - Tetsuya Sato
PY  - 2016
DO  - 10.1016/j.entcs.2016.09.043
UR  - https://arxiv.org/abs/1603.01445
ID  - 1603.01445
ER  -