Международный научный семинар «Семантика, спецификация и верификация программ: теория и приложения»
Фотогалереи
21/06/2018
21-22 июня 2018 года в помещении компании "Тензор" состоялся Международный научный семинар «Семантика, спецификация и верификация программ: теория и приложения» .