Промский Алексей Владимирович Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов семантика и верификация программ языки программирования Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — ученый секретарь Адрес электронной почты promsky@iis.nsk.su
Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. — 2013. — № 1. — С. 79-96
Ануреев И.С., Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // Системная информатика. — 2017. — № 9. — С. 133-154
Кондратьев Д.А., Промский А.В. На пути к автоматизированной локализации ошибок в C программах с циклами // Системная информатика. — 2019. — № 14. — С. 31-44
