ACT-01:vasco-54

Y. Ledru, O. Maury, C. Oriat. Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 23-38, LORIA, Nancy, Juin 2001.

Contact

Yves Ledru
Catherine Oriat

Référence BibTex

@InProceedings{ACT-01:vasco-54,
   Author = {Ledru, Y. and Maury, O. and Oriat, C.},
   Title = {{Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML}},
   BookTitle = {{Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001}},
   editor = {Souquières, J.},
   Pages = {23--38},
   Address = {LORIA, Nancy},
   Month = {June},
   Year = {2001}
}

Référence EndNote [help]

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