Кулямин В.В. в программном комитете конференции 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia) (Ярославль, Russia, 21-22 июня 2018)членство в программном комитете конференции