From UML Activity Diagrams to Event B for the Specification and the Verification of Workflow Applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Browse the full COMPSAC paper archive.