Catégorie Communication dans un congrès Auteurs Idir Aït-Sadoune Yamine Aït-Ameur https://hal.science/hal-00634402v1 doc ID 634402 Nom Animating Event B Models by Formal Data Models Date de publication jeu 04/04/2024 - 12:00