OADymPPaC

Outils pour l'Analyse Dynamique et la mise au Point de

Programmes avec Contraintes

Home and International Network









OADymPPaC est un projet   RNTL   de 3 ans et demi qui a debuté le 15 novembre 2000 et doit se terminer le 14 mai 2004

Pour toute  information contacter:
Pierre Deransart, coordonateur, INRIA, Domaine de Voluceau-Rocquencourt, BP 105, F-78153 Le Chesnay Cedex
Tel:  +33 (0)1 39 63 55 36
Fax::+33 (0)1 39 63 54 69
 http://contraintes.inria.fr
E-mail: Pierre.Deransart@inria.fr


pierre.deransart@inria.fr