Quantum Relational Hoare Logic with Expectations.

Yangjia Li, Dominique Unruh

Browse the full ICALP paper archive.