Стененко Александр Александрович Россия, Новосибирск Область научных интересов верификация программ языки программирования Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — аспирант Адрес электронной почты stirpar@mail.ru
Визовитин Н.В., Непомнящий В.А., Стененко А.А. Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри // Системная информатика. — 2016. — № 7. — С. 11-22
