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, June 2004.
@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}
}
Get EndNote Reference (.ref)