Article Dans Une Revue
International Journal on Software Tools for Technology Transfer
Année : 2009
Emmanuelle Choiseau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03273749
Soumis le : mardi 29 juin 2021-15:24:49
Dernière modification le : jeudi 4 avril 2024-11:44:55
Citer
Yamine Aït-Ameur, Mickael Baron, Nadjet Kamel, Jean-Marc Mota. Encoding a Process Algebra Using the Event B Method. International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.239--253. ⟨10.1007/s10009-009-0109-2⟩. ⟨hal-03273749⟩
Collections
13
Consultations
0
Téléchargements