TY  - RPRT
TI  - Relational reasoning via probabilistic coupling
AU  - Gilles Barthe
AU  - Thomas Espitau
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Léo Stefanesco
AU  - Pierre-Yves Strub
PY  - 2015
DO  - 10.1007/978-3-662-48899-7_27
UR  - https://arxiv.org/abs/1509.03476
ID  - 1509.03476
ER  -