TY  - RPRT
TI  - Quantum Relational Hoare Logic with Expectations
AU  - Yangjia Li
AU  - Dominique Unruh
PY  - 2021
DO  - 10.4230/lipics.icalp.2021.136
UR  - https://arxiv.org/abs/1903.08357
ID  - 1903.08357
ER  -