TY  - RPRT
TI  - Relational Proofs for Quantum Programs
AU  - Gilles Barthe
AU  - Justin Hsu
AU  - Mingsheng Ying
AU  - Nengkun Yu
AU  - Li Zhou
PY  - 2019
DO  - 10.1145/3371089
UR  - https://arxiv.org/abs/1901.05184
ID  - 1901.05184
ER  -