A:dub00

L. du Bousquet, S. Dupuy. A Multi-Formalism Approach for the validation of UML models. Formal Aspects of Computing, Résumé de deux pages, à paraître, 2000.

Référence BibTex

@article{A:dub00,
   Author = {du Bousquet, L. and Dupuy, S.},
   Title = {{A Multi-Formalism Approach for the validation of UML models}},
   Journal = {Formal Aspects of Computing},
   Publisher = {Springer},
   Year = {2000}
}

Référence EndNote [help]

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