TY  - RPRT
TI  - Proving uniformity and independence by self-composition and coupling
AU  - Gilles Barthe
AU  - Thomas Espitau
AU  - Benjamin Grégoire
AU  - Justin Hsu
AU  - Pierre-Yves Strub
PY  - 2017
UR  - https://arxiv.org/abs/1701.06477
ID  - 1701.06477
ER  -