CN:SP07

B. Seljimi, I. Parissis. Test de logiciels synchrones : apports de la programmation par contraintes. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, Juin 2007.

Contact

Besnik Seljimi
Ioannis Parissis

Référence BibTex

@InProceedings{CN:SP07,
   Author = {Seljimi, B. and Parissis, I.},
   Title = {Test de logiciels synchrones : apports de la programmation par contraintes},
   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)