TY  - RPRT
TI  - Code Generation for Event-B
AU  - Victor Rivera
PY  - 2016
UR  - https://arxiv.org/abs/1602.02004
ID  - 1602.02004
ER  -