Ilya Maryasov E-mail ivm1999@mail.ru Organization A.P. Ershov Institute of Informatics Systems SB RAS — researcher Academic degree PhD
Anureev I., Maryasov I., Mikhailov I. Method of the development of ontological operational semantics for imperative programming languages // Computer Science. — 2016. — # 40 — P. 15–35
Anureev I., Maryasov I., Nepomniaschy V. Two-level mixed verification method of C-light programs in terms of safety logic // Computer Science. — 2012. — # 34 — P. 23-42