TY  - RPRT
TI  - The validation of numerical computations
AU  - Buck, Melvin L.
AU  - Neumann, Richard D.
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19920075816
ID  - 19920075816
ER  -