sacha-doucet documents

Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données Eléna Zinovieva Leroux 2004 22 novembre 2004 Membres du jury:
Documents Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données Eléna Zinovieva Leroux 2004 22 novembre 2004 Membres du jury: