@misc{indiciae5e3871540736,
  title = {Quantum Circuit and Algorithm Validation with Prove-It.},
  author = {Witzel, Wayne},
  year = {2019},
  url = {https://www.osti.gov/biblio/1639279},
  note = {Source identifier: 1639279}
}