ArtyomDmitrievich IshchenkoRussia, NovosibirskResearch areaprogram verificationprogramming languagesAffiliation & position Novosibirsk State University — postgraduate E-mailiartem2000@gmail.com List of Articles in System Informatics: A.D. Ishchenko Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // System Informatics. — 2024. — # 25. — P. 1-10