TY  - RPRT
TI  - Synthesizing Certified Code
AU  - Whalen, Michael
AU  - Schumann, Johann
AU  - Fischer, Bernd
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20030064036
ID  - 20030064036
ER  -