Projet : LOCO

previous up next contents
Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : COSYTEC


   
PrologIA



Participants : Pierre Deransart, Christophe Aillaud, Frédéric Benhamou, Frédéric Goualard, Alexandre Tessier.

Collaboration avec la société PrologIA autour du produit commercial Prolog IV et, dans le cadre du projet DiSCiPl, amélioration de l'environnement de débogage: vérification de propriétés statiques.