Generating Distributed Programs from Event-B Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Dates and versions

hal-02997277 , version 1 (10-11-2020)

Identifiers

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More