Catégorie Communication dans un congrè Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634389v1 doc ID 634389 Nom A Proof Based Approach for Formal Verification of Transactional BPEL Web Services Date de publication jeu 04/04/2024 - 12:00