TY  - RPRT
TI  - Verification of Digital Numerics for High Consequence Systems
AU  - Pollard, Samuel Douglas
PY  - 2024
DO  - 10.2172/2587545
UR  - https://www.osti.gov/biblio/2587545
ID  - 2587545
ER  -