%0 Journal Article
%A S. Reznikova
%A V. Rivera
%A J. Y. Lee
%A M. Mazzara
%T Translation from Event-B into Eiffel
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 623-636
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_6_a2/
%G en
%F MAIS_2018_25_6_a2