Catégorie Communication dans un congrès Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634398v1 doc ID 634398 Nom From BPEL to Event-B Date de publication jeu 04/04/2024 - 12:00