Catégorie Communication dans un congrès Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634407v1 doc ID 634407 Nom Verification and Validation of Web Service Composition Using Event B Method Date de publication jeu 04/04/2024 - 12:00