Towards an approach of formal verification of mediation protocol based on web services.

Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Browse the full IIWAS paper archive.