TY  - RPRT
TI  - Verifying Diagnostic Software
AU  - Lindsey, Tony
AU  - Pecheur, Charles
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20110020367
ID  - 20110020367
ER  -