Тумуров Эрдэм Гармаевич Россия, Новосибирск Область научных интересов верификация программ языки программирования Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — младший научный сотрудник Адрес электронной почты erdemus@gmail.com
Тумуров Э.Г., Шелехов В.И. Требования к системе управления квадрокоптером // Системная информатика. — 2015. — № 5. — С. 39-54
Булгаков К.В., Каблуков И.В., Тумуров Э.Г., Шелехов В.И. Оптимизирующие трансформации списков и деревьев в системе предикатного программирования // Системная информатика. — 2017. — № 9. — С. 63-92
Тумуров Э.Г., Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. — 2020. — № 16. — С. 103-136
