TY  - SER
AU  - Sulilvan, Gregory F.
AU  - Masson, Gerald M.
TI  - Approximate Correctness-Checking of Computational Results
KW  - Fault Tolerance
KW  - Software Reliability
KW  - Branch and Bound Algorithm
ER  -