@misc{indiciae5fbcf2f8ebc2,
  title = {Quantum Algorithm Verification Using Prove-It.},
  author = {Witzel, Wayne and Rudinger, Kenneth Michael and Carr, Robert and Madrid Larranaga, Joaquin and Wingo, Jamie Joann and Craft, Warren and Kapur, Deepak and Sarovar, Mohan},
  year = {2019},
  url = {https://www.osti.gov/biblio/1807159},
  note = {Source identifier: 1807159}
}