ACT-04:vasco-58

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, June 2004.

Contact

Marie-Laure Potet

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)