Projet : COQ

previous up next contents
Précédent : Présentation et objectifs généraux Remonter : Spécifications et preuves de programmes Suivant : Environnement interactif de preuves


   
Fondements scientifiques