Raoudha Maraoui, Eric Cariou. A mediation based approach for formal verification of web services composition.
2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6,
⟨10.1109/ICEMIS.2017.8272975⟩.
⟨hal-02507291⟩