CIC-05:vasco-25

Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, November 2005.

Contact

Akram Idani
Yves Ledru
Didier Bert

BibTex Reference

@InProceedings{CIC-05:vasco-25,
   Author = {Idani, Akram and Ledru, Yves and Bert, Didier},
   Title = {{Derivation of UML Class Diagrams as Static Views of Formal B Developments}},
   BookTitle = {{ICFEM'05 - Int. Conf. On Formal Engineering Methods}},
   Publisher = {LNCS (à paraître), Springer},
   Address = {Manchester},
   Month = {November},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)