MARCHÉ Claude
Habilitation à diriger des recherches
Equipe : Toccata
Preuves mécanisées de propriétés de programmes
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : vide
Lieu de déroulement :
Soutenue le 12/12/2005 devant le jury composé de :
Activités de recherche :
- Démonstration automatique
- Vérification
- Preuve de programme
- Logique
- Réécriture
Résumé :
