TY  - JOUR
AU  - S. Reznikova
AU  - V. Rivera
AU  - J. Y. Lee
AU  - M. Mazzara
TI  - Translation from Event-B into Eiffel
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2018
SP  - 623
EP  - 636
VL  - 25
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2018_25_6_a2/
LA  - en
ID  - MAIS_2018_25_6_a2
ER  -