Ищенко Артем Дмитриевич Россия, Новосибирск Область научных интересов верификация программ языки программирования Место работы и должность Новосибирский государственный университет — аспирант Адрес электронной почты iartem2000@gmail.com
Ищенко А.Д. Улучшение генерации условий корректности для Reflex программ с помощью простого статического анализа // Системная информатика. — 2024. — № 25. — С. 1-10
