TY  - RPRT
TI  - Validation Of Critical Knowledge-Based Systems
AU  - Duke, Eugene L.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19920000192
ID  - 19920000192
ER  -