previous up next contents                                RA 1994     RA 1996
Suivant : Table des matières

Projet PROTHEO

Contraintes, déduction automatique et preuve de propriétés de logiciels

Rapport d'activité 1995

Page WWW du projet

Localisation : Nancy

Mots clefs : concurrence, contrainte, déduction automatique, démonstration automatique, réécriture, spécification formelle