TY  - RPRT
TI  - A high order approach to flight software development and testing
AU  - Steinbacher, J.
PY  - 1981
UR  - https://ntrs.nasa.gov/citations/19820026573
ID  - 19820026573
ER  -