TY  - RPRT
TI  - Quantum Algorithm Verification Using Prove-It.
AU  - Witzel, Wayne
AU  - Rudinger, Kenneth Michael
AU  - Carr, Robert
AU  - Madrid Larranaga, Joaquin
AU  - Wingo, Jamie Joann
AU  - Craft, Warren
AU  - Kapur, Deepak
AU  - Sarovar, Mohan
PY  - 2019
UR  - https://www.osti.gov/biblio/1807159
ID  - 1807159
ER  -