TY  - RPRT
TI  - Automated verification of flight software. User's manual
AU  - Saib, S. H.
PY  - 1982
UR  - https://ntrs.nasa.gov/citations/19820022082
ID  - 19820022082
ER  -