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

Michael W. Whalen, Johann Schumann, Bernd Fischer

Browse the full CADE paper archive.