C. Dubois : "Réutilisation de preuves formelles : Une étude pour le système FoC" Previous Index Next