Hung Ledang, Jeanine Souquières. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.
Ninth Asia Pacific Software Engineering Conference - APSEC'2002, 2002, Queensland, Australia, 10 p.
⟨inria-00107556⟩