Mike Whalen, Johann Schumann, and Bernd Fischer
Combining Program Synthesis with Automatic Code Cerification (System Description)
Conference on Automated Deduction (CADE) }, LNAI, Springer, 2002 (in print).
Preprint:
PostScript
PDF
Back to Johann Schumann's home page