From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi

Browse the full COMPSAC paper archive.