TY  - THES
DP  - 
		http://www.theses.fr/2004TOU30066
TI  - Les composants logiciels réutilisables : méthode de vérification
AU  - El Baida, Rami
A3  - Bahsoun, Jean-Paul
PY  - 2004
SP  - 208 f.
N1  - Thèse de doctorat Informatique Toulouse 3 2004
N1  - 2004TOU30066
ER  -