UML activity diagram to event-B: A model transformation approach based on the institution theory.

Amine Achouri, Leila Jemni Ben Ayed

Browse the full IRI paper archive.