@misc{indiciaeb8ce95166dde,
  title = {Formal Computer Validation of the Quantum Phase Estimation Algorithm.},
  author = {Witzel, Wayne and Rudinger, Kenneth Michael and Sarovar, Mohan and Carr, Rober},
  year = {2016},
  url = {https://www.osti.gov/biblio/1348125},
  note = {Source identifier: 1348125}
}