TY  - RPRT
TI  - A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)
AU  - Denney, Ewen
AU  - Schumann, Johann
AU  - Greaves, Doug
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060053282
ID  - 20060053282
ER  -