TY  - RPRT
TI  - Applying Formal Methods and Object-Oriented Analysis to Existing Space Shuttle Software
AU  - Cheng, B.
AU  - Auernheimer, B.
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/20060042171
ID  - 20060042171
ER  -