@misc{indiciae0e211248fc5b,
  title = {Code Verification Implications for Algebraic Equations.},
  author = {Krueger, Aaron and Lance, Blake and Freno, Brian},
  year = {2022},
  doi = {10.2172/2003347},
  url = {https://www.osti.gov/biblio/2003347},
  note = {Source identifier: 2003347}
}