|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Захаров В.А. в программном комитете конференции 10-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV-2019, July 1 and 2, 2019, Novosibirsk Akademgorodok, Russia) (Новосибирск, Академгородок, Russia, 1-2 июля 2019)членство в программном комитете конференции
- Сотрудник: Захаров Владимир Анатольевич
- Конференция: 10-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV-2019, July 1 and 2, 2019, Novosibirsk Akademgorodok, Russia)
- Даты проведения: 1-2 июля 2019
- Место проведения: Новосибирск, Академгородок, Russia
- Тип членства: Председатель программного комитета
- Добавил в систему: Захаров Владимир Анатольевич