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