RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Spécifications et preuves de programmes
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rocquencourt
Mots-clés : typage, logique, lambda calcul, langage
fonctionnel, calcul formel, spécification formelle, déduction
automatique, synthèse de programme, preuve de programme