Промский Алексей Владимирович

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