TY  - RPRT
TI  - Precise and Scalable Static Program Analysis of NASA Flight Software
AU  - Brat, G.
AU  - Venet, A.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20050081994
ID  - 20050081994
ER  -