A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Browse the full IIWAS paper archive.