|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Захаров В.А. в программном комитете конференции Семинар "Программные семантики, спецификации и верификация (PSSV)" (Казань, Russia, 24 августа 2015)членство в программном комитете конференции
- Сотрудник: Захаров Владимир Анатольевич
- Конференция: Семинар "Программные семантики, спецификации и верификация (PSSV)"
- Даты проведения: 24 августа 2015
- Место проведения: Казань, Russia
- Тип членства: Член программного комитета
- Добавил в систему: Захаров Владимир Анатольевич