TY  - RPRT
TI  - Design and evaluation of executable assertions for concurrent error detection
AU  - Hua, Kien A.
AU  - Abraham, Jacob A.
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19940003672
ID  - 19940003672
ER  -