TY  - RPRT
TI  - Using Formal Methods and Object-Oriented Analysis to Reverse Engineer Shuttle Software
AU  - Auernheimer, Betty
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/20060035219
ID  - 20060035219
ER  -