Резникова Софья Владимировна

Публикации в базе данных Math-Net.Ru

1. Translation from Event-B into Eiffel
   
   Модел. и анализ информ. систем, 25:6 (2018),  623–636