Вы здесь

Liakh T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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