Spécification du programme CONTI
Contact : Pascal.Manoury (at) nulllip6.frFrom 05/12/1998 to 12/14/1999
Spécification et implémentation d’un logiciel industriel à l’aide de spécifications algébriques.
EDFPascal MANOURY
Spécification et implémentation d’un logiciel industriel à l’aide de spécifications algébriques.
EDFPascal MANOURY