Alexey Vladimirovich Promsky Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area program semantics and verification programming languages Affiliation & position A.P. Ershov Institute of Informatics Systems — ученый секретарь E-mail promsky@iis.nsk.su
Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // System Informatics. — 2013. — # 1. — P. 79-96
Anureev I., Promsky A. Conceptual transition systems and their application to development of conceptual models of programming languages // System Informatics. — 2017. — # 9. — P. 133-154
Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // System Informatics. — 2019. — # 14. — P. 31-44
