TY  - RPRT
TI  - Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
AU  - Denney, Ewen
AU  - Fischer, Bernd
AU  - Schumann, Johann
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040068177
ID  - 20040068177
ER  -