RUS
ENG
Full version
PEOPLE
Reznikova Sof'ya Vladimirovna
Publications in Math-Net.Ru
Translation from Event-B into Eiffel
Model. Anal. Inform. Sist.
,
25
:6 (2018),
623–636
©
Steklov Math. Inst. of RAS
, 2024