Spécification du programme CONTI

Contact : Pascal.Manoury (at) nulllip6.fr
From 05/12/1998 to 12/14/1999

Spécification et implémentation d’un logiciel industriel à l’aide de spécifications algébriques.

EDF

Pascal MANOURY