Волканов Д.Ю. в программном комитете конференции International Workshop on Verification of Embedded Systems 2013 (Санкт-Петербург, Russia, 13 июля 2013)членство в программном комитете конференции