ACT-04:vasco-59

A. Lakehal, I. Parissis, L. du Bousquet. Critères de couverture structurelle de programmes LUSTRE. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 185-199, LIFC, Besançon, Juin 2004.

Contact

Ioannis Parissis

Référence BibTex

@InProceedings{ACT-04:vasco-59,
   Author = {Lakehal, A. and Parissis, I. and du Bousquet, L.},
   Title = {{Critères de couverture structurelle de programmes LUSTRE}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004}},
   editor = {Julliand, J.},
   Pages = {185--199},
   Address = {LIFC, Besançon},
   Month = {June},
   Year = {2004}
}

Référence EndNote [help]

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