TY  - RPRT
TI  - Formalizing Space Shuttle Software Requirements
AU  - Crow, Judith
AU  - DiVito, Ben L.
PY  - 1996
UR  - https://ntrs.nasa.gov/citations/20040110898
ID  - 20040110898
ER  -