TY  - RPRT
TI  - Proving Quantum Programs Correct
AU  - Kesha Hietala
AU  - Robert Rand
AU  - Shih-Han Hung
AU  - Liyi Li
AU  - Michael Hicks
PY  - 2021
DO  - 10.4230/lipics.itp.2021.21
UR  - https://arxiv.org/abs/2010.01240
ID  - 2010.01240
ER  -