Захаров В.А. в программном комитете конференции 11-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020, November 3 and 4, 2020, Moscow, Russia) (Москва, Russia, 3-4 ноября 2020)членство в программном комитете конференции