Spécification du programme CONTI
Contact : Pascal.Manoury (at) nulllip6.frDu 12/05/1998 au 14/12/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