TY  - RPRT
TI  - Using certification trails to achieve software fault tolerance
AU  - Sullivan, Gregory F.
AU  - Masson, Gerald M.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940031561
ID  - 19940031561
ER  -