Бодин Евгений Викторович Россия, Новосибирск Область научных интересов верификация программ языки программирования Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — научный сотрудник Адрес электронной почты bodin@iis.nsk.su bodin@ngs.ru
Бодин Е.В. Spin для головоломок: Использование системы проверки моделей SPIN для решения японской головоломки о переправе через реку и головоломки "Куб-1" // Системная информатика. — 2013. — № 2. — С. 101-116
