Certifiable Program Generation.

Ewen Denney, Bernd Fischer

Browse the full GPCE paper archive.