Захаров В.А. в программном комитете конференции XII Workshop Program Semantics, Specification and Verification: Theory and Applications (Москва, Russia, 4-5 ноября 2021)членство в программном комитете конференции