TY  - RPRT
TI  - Coupling proofs are probabilistic product programs
AU  - Gilles Barthe
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Pierre-Yves Strub
PY  - 2016
DO  - 10.1145/3009837.3009896
UR  - https://arxiv.org/abs/1607.03455
ID  - 1607.03455
ER  -