Derivation of UML Class Diagrams as Static Views of Formal B Developments.

Akram Idani, Yves Ledru, Didier Bert

Browse the full ICFEM paper archive.