TY  - RPRT
TI  - Reasoning about Recursive Quantum Programs
AU  - Zhaowei Xu
AU  - Mingsheng Ying
AU  - Benoît Valiron
PY  - 2021
UR  - https://arxiv.org/abs/2107.11679
ID  - 2107.11679
ER  -