TY  - RPRT
TI  - Translating Event-B machines to Eiffel programs
AU  - Victor Rivera
AU  - JooYoung Lee
AU  - Manuel Mazzara
AU  - Leonard Johard
PY  - 2017
UR  - https://arxiv.org/abs/1706.04578
ID  - 1706.04578
ER  -