UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Browse the full SERVICES paper archive.