Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An Event-B Based Approach for Ensuring Correct Configurable Business Processes. In Stephan Reiff-Marganiec, editor, IEEE International Conference on Web Services, ICWS 2016, San Francisco, CA, USA, June 27 - July 2, 2016. pages 460-467, IEEE, 2016. [doi]
Abstract is missing.