@misc{indiciae31f08320245c,
  title = {Verification of Digital Numerics for High Consequence Systems},
  author = {Pollard, Samuel Douglas},
  year = {2024},
  doi = {10.2172/2587545},
  url = {https://www.osti.gov/biblio/2587545},
  note = {Source identifier: 2587545}
}