TY  - RPRT
TI  - Self-checking software
AU  - Cha, Sung D.
AU  - Leveson, Nancy G.
AU  - Shimeall, Timothy J.
AU  - Knight, John C.
PY  - 1986
UR  - https://ntrs.nasa.gov/citations/19890068411
ID  - 19890068411
ER  -