TY  - RPRT
TI  - A rigorous approach to self-checking programming
AU  - Hua, Kien A.
AU  - Abraham, Jacob A.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19870017084
ID  - 19870017084
ER  -