Communication Dans Un Congrès
Année : 2020
Horatiu Cirstea : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02997277
Soumis le : mardi 10 novembre 2020-09:05:19
Dernière modification le : lundi 2 décembre 2024-17:46:02
Citer
Horatiu Cirstea, Alexis Grall, Dominique Méry. Generating Distributed Programs from Event-B Models. International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩. ⟨hal-02997277⟩
56
Consultations
0
Téléchargements