Quantum Hoare Logic with Ghost Variables
2019
LICS2019
https://arxiv.org/abs/1902.00325
logic
quantum
hoare logic