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, June 2007.
Roland Groz
Muzammil Shahbaz
Keqin Li
@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}
}
Get EndNote Reference (.ref)