TY  - RPRT
TI  - Verifying Quantum Phase Estimation using Prove-It.
AU  - Witzel, Wayne
AU  - Craft, Warren
AU  - Carr, Robert
AU  - Madrid Larranaga, Joaquin
AU  - Kapur, Deepak
PY  - 2022
DO  - 10.2172/2001862
UR  - https://www.osti.gov/biblio/2001862
ID  - 2001862
ER  -