TY  - RPRT
TI  - QDB: From Quantum Algorithms Towards Correct Quantum Programs
AU  - Yipeng Huang
AU  - Margaret Martonosi
PY  - 2018
DO  - 10.4230/oasics.plateau.2018.4
UR  - https://arxiv.org/abs/1811.05447
ID  - 1811.05447
ER  -