Ilya Vladimirovich Maryasov Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area program verification programming languages axiomatic semantics Affiliation & position A.P. Ershov Institute of Informatics Systems — researcher Novosibirsk State University — assistant E-mail ivm@iis.nsk.su
Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — 2017. — # 10. — P. 57-66
