Synthesizing Certified Code.

Michael W. Whalen, Johann Schumann, Bernd Fischer

Browse the full FM paper archive.