AutoBayes/CC—Combining Program Synthesis with Automatic Code Certification—System Description—

Michael Whalen, Johann Schumann, Bernd Fischer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations
Original languageUndefined/Unknown
Title of host publicationInternational Conference on Automated Deduction
Pages290-294
Number of pages5
StatePublished - 2002

Cite this

Whalen, M., Schumann, J., & Fischer, B. (2002). AutoBayes/CC—Combining Program Synthesis with Automatic Code Certification—System Description—. In International Conference on Automated Deduction (pp. 290-294)