Вы здесь
Захаров В. А.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017 | 2017 |
|
МГУ | 25.08.2017 |