Винарский Евгений Максимович Россия, Москва Область научных интересов верификация программ языки программирования теория автоматов Место работы и должность Московский государственный университет им. М.В. Ломоносова — магистрант Адрес электронной почты vinevg2015@gmail.com
Винарский Е.М., Захаров В.А. О некоторых свойствах временных машин с конечным числом состояний // Системная информатика. — 2020. — № 17. — С. 11-20
