COMS-01:vasco-67

Y. Ledru, S. Dupuy. From UML to Z, a support for requirements engineering with RoZ. In Formal Methods Europe 2001, Tutorial, 2001.

Contact

Yves Ledru

BibTex Reference

@InProceedings{COMS-01:vasco-67,
   Author = {Ledru, Y. and Dupuy, S.},
   Title = {{From UML to Z, a support for requirements engineering with RoZ}},
   BookTitle = {Formal Methods Europe 2001},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)