Catégorie Communication dans un congrès Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634395v1 doc ID 634395 Nom A Proof Based Approach for Modelling and Verifying Web Services Compositions Date de publication jeu 04/04/2024 - 12:00