Artyom Dmitrievich Ishchenko Russian Federation, Novosibirsk Research area program verification programming languages Affiliation & position Novosibirsk State University — postgraduate E-mail iartem2000@gmail.com
Ishchenko A. Enhancing Verification Condition Generation for Reflex Programs Through Simple Static Analysis // System Informatics. — 2024. — # 25. — P. 1-10
