TY  - RPRT
TI  - Certification of computational results
AU  - Sullivan, Gregory F.
AU  - Wilson, Dwight S.
AU  - Masson, Gerald M.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940031557
ID  - 19940031557
ER  -