TY  - RPRT
TI  - Verification of floating-point software
AU  - Hoover, Doug N.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008264
ID  - 19910008264
ER  -