Ilya Maryasov
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — researcher
Academic degree: PhD
List of Articles:
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