N. Stouls, M.-L. Potet. Explicitation du contrôle de développement B événementiel. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004, J. Julliand (ed.), Pages 13-28, LIFC, Besançon, Juin 2004.
@InProceedings{ACT-04:vasco-58,
Author = {Stouls, N. and Potet, M.-L.},
Title = {{Explicitation du contrôle de développement B événementiel}},
BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2004}},
editor = {Julliand, J.},
Pages = {13--28},
Address = {LIFC, Besançon},
Month = {June},
Year = {2004}
}
Charger la référence EndNote (.ref)