Conference Papers
Year : 2020
Horatiu Cirstea : Connect in order to contact the contributor
https://inria.hal.science/hal-02997277
Submitted on : Tuesday, November 10, 2020-9:05:19 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Cite
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⟩
42
View
0
Download