TY  - RPRT
TI  - Verification of Nondeterministic Quantum Programs
AU  - Yuan Feng
AU  - Yingte Xu
PY  - 2023
DO  - 10.1145/3582016.3582039
UR  - https://arxiv.org/abs/2302.07973
ID  - 2302.07973
ER  -