Научный семинар по теме: Системы программной верификации

26 января 2017г. состоялся научный семинар АО «МЦСТ» и ПАО «ИНЭУМ им.И.С.Брука» по теме: «Системы программной верификации».

Ознакомить с презентацие можно тут.