@misc{indiciaea2d9b06d3762,
  title = {When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs.},
  author = {Pollard, Samuel Douglas},
  year = {2021},
  url = {https://www.osti.gov/biblio/1807452},
  note = {Source identifier: 1807452}
}