Projet : COQ                                RA 1997     RA 1999

previous up next contents
Suivant : Composition de l'équipe

Spécifications et preuves de programmes

COQ


Rapport d'activité de l'année 1998


Rocquencourt


Thème : 2a


Page de présentation du projet - Rapport d'activité au format PostScript ou PDF

Coq était jusqu'en septembre 1997 un projet commun avec le Laboratoire de l'Informatique du Parallélisme, URA 1398 du CNRS à l'ENS Lyon. Une demande de projet commun avec le LRI, URA 410 du CNRS à l'université Paris Sud est en cours d'élaboration.

 
Ce document a été mis au format HTML grâce aux programmes développés sur latex2html par José Grimm (Sophia Antipolis, Projet Safir).