TY  - RPRT
TI  - D'Event-B vers UML/OCL en passant par UML/EM-OCL
AU  - Imen Sayar
PY  - 2012
UR  - https://arxiv.org/abs/1212.4959
ID  - 1212.4959
ER  -