Characterization of Programs and Their Synthesis from a Formalized Theory.

Daniele Marini, Pierangelo Miglioli

Browse the full MFCS paper archive.