JC:Dup00a

S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'Objet, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.

Contact

Yves Ledru

BibTex Reference

@article{JC:Dup00a,
   Author = {Dupuy, S. and Ledru, Y. and Chabre-Peccoud, M.},
   Title = {Vers une intégration utile de notations semi-formelles et formelles : une expérience en {UML} et {Z}},
   Journal = {L'Objet, numéro thématique Méthodes formelles pour les objets},
   Volume = {6},
   Number = {1},
   Publisher = {Hermès science, France},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)