Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B.

Hung Ledang, Jeanine Souquires

Browse the full APSEC paper archive.