TY  - RPRT
TI  - Formal Verification for a Next-Generation Space Shuttle
AU  - Nelson, Stacy D.
AU  - Pecheur, Charles
AU  - Koga, Dennis
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20030018894
ID  - 20030018894
ER  -