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

Michael Whalen, Johann Schumann, Bernd Fischer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	International Conference on Automated Deduction
Pages	290-294
Number of pages	5
State	Published - 2002

OpenUrl availability

@inproceedings{96cf4ed55b2b4125987576352ea42aad,

title = "AutoBayes/CC—Combining Program Synthesis with Automatic Code Certification—System Description—",

author = "Michael Whalen and Johann Schumann and Bernd Fischer",

year = "2002",

language = "Undefined/Unknown",

pages = "290--294",

booktitle = "International Conference on Automated Deduction",

}