TY  - RPRT
TI  - Rotational Abstractions for Verification of Quantum Fourier Transform Circuits
AU  - Arun Govindankutty
AU  - Sudarshan K. Srinivasan
AU  - Nimish Mathure
PY  - 2023
DO  - 10.1049/qtc2.12055
UR  - https://arxiv.org/abs/2301.00737
ID  - 2301.00737
ER  -