Ivan Nikolaevich MikhailovE-mailimikhailov@openlinksw.comOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — senior engineer 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
