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.
@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}
}
Get EndNote Reference (.ref)