An Event-B Based Approach for Ensuring Correct Configurable Business Processes.

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul

Browse the full ICWS paper archive.