TY  - RPRT
TI  - Software error detection
AU  - Buechler, W.
AU  - Tucker, A. G.
PY  - 1981
UR  - https://ntrs.nasa.gov/citations/19820006962
ID  - 19820006962
ER  -