TY  - RPRT
TI  - On a Formal Tool for Reasoning About Flight Software Cost Analysis
AU  - Spagnuolo, John N., Jr.
AU  - Stukes, Sherry A.
PY  - 2013
UR  - https://ntrs.nasa.gov/citations/20130012645
ID  - 20130012645
ER  -