CN:GSL07

R. Groz, M. Shahbaz, K. Li. Une approche incrémentale de test par extraction de modèles. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.

Contact

Roland Groz
Muzammil Shahbaz
Keqin Li

Référence BibTex

@InProceedings{CN:GSL07,
   Author = {Groz, R. and Shahbaz, M. and Li, K.},
   Title = {Une approche incrémentale de test par extraction de modèles},
   BookTitle = {AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire)},
   Address = {Namur},
   Month = {June},
   Year = {2007}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)