TY  - RPRT
TI  - Generating Distributed Programs from Event-B Models
AU  - Horatiu Cirstea
AU  - Alexis Grall
AU  - Dominique Méry
PY  - 2020
DO  - 10.4204/eptcs.320.8
UR  - https://arxiv.org/abs/2008.02935
ID  - 2008.02935
ER  -