Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Browse the full ICSoft paper archive.