TY  - RPRT
TI  - Improved Verification for Aerospace Systems
AU  - Powell, Mark A.
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20090002613
ID  - 20090002613
ER  -