Des Preuves de Totalité de Fonctions comme Synthèse de Programmes (1993)

by P Manoury, M Simonot