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