|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Захаров В.А. в программном комитете конференции Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017) (Москва, Russia, 26 июня 2017)членство в программном комитете конференции
- Сотрудник: Захаров Владимир Анатольевич
- Конференция: Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
- Даты проведения: 26 июня 2017
- Место проведения: Москва, Russia
- Тип членства: Председатель программного комитета
- Добавил в систему: Подымов Владислав Васильевич