Catégorie Communication dans un congrè Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634202v1 doc ID 634202 Nom Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach Date de publication jeu 04/04/2024 - 12:00