Захаров В.А. в программном комитете конференции Международный семинар "Программные семантики, спецификации и верификация (PSSV)" (Санкт-Петербург, Russia, 14-15 июня 2016)членство в программном комитете конференции