Вы здесь

Anureev I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Two-Step Deductive Verification of Control Software Using Reflex 2020 Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. LNCS 28.01.2020
СТ Two-Step Deductive Verification of Control Software Using Reflex 2019 Anureev I., Garanina N., Liakh T., Rozov A., Zyubin V., Gorlatch S. PSI'19 Preliminary Proc. 14.08.2019
СТ Revised Mixed Axiomatic Semantics Method of C Program Verification 2012 Anureev I., Maryasov I., Nepomniaschy V. Proceedings of the 7th International Computer Science Symposium in Russia 08.08.2013
СТ Deductive Approach to Verification of Telecommunication Systems Written in C 2012 Anureev I. Conference proceedings 30.09.2012
СТ Ontological models in OTSL 2008 Anureev I. Problems in Programming/Ukraine 02.08.2008

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI '19, Novosibirsk, Russia, July 2019 2019
  1. Zakharov V.
  2. Shilov N.
  3. Anureev I.
05.08.2019