TY  - RPRT
TI  - Verification of Recursively Defined Quantum Circuits
AU  - Mingsheng Ying
AU  - Zhicheng Zhang
PY  - 2024
UR  - https://arxiv.org/abs/2404.05934
ID  - 2404.05934
ER  -