TY  - RPRT
TI  - Product-oriented Software Certification Process for Software Synthesis
AU  - Nelson, Stacy
AU  - Fischer, Bernd
AU  - Denney, Ewen
AU  - Schumann, Johann
AU  - Richardson, Julian
AU  - Oh, Phil
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040034049
ID  - 20040034049
ER  -