Марьясов Илья Владимирович Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов верификация программ языки программирования аксиоматическая семантика Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — научный сотрудник Новосибирский государственный университет — ассистент Адрес электронной почты ivm@iis.nsk.su
Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // Системная информатика. — 2017. — № 10. — С. 57-66
