Witzel, W.M., Rudinger, K.M., Carr, R., Madrid Larranaga, J., Wingo, J., Craft, W., Kapur, D., Sarovar, M., & Sarovar, M. (2019). Quantum Algorithm Verification Using Prove-It [Presentation]. https://www.osti.gov/biblio/1807159
Witzel, W.M., Rudinger, K.M., Carr, R., Madrid Larranaga, J., Wingo, J., Craft, W., Kapur, D., Sarovar, M., & Sarovar, M. (2019). Quantum Algorithm Verification Using Prove-It [Presentation]. https://www.osti.gov/biblio/1807159