TY  - RPRT
TI  - AutoBayes/CC: Combining Program Synthesis with Automatic Code Certification: System Description
AU  - Whalen, Michael
AU  - Schumann, Johann
AU  - Fischer, Bernd
AU  - Clancy, Daniel
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20020090879
ID  - 20020090879
ER  -