26 января 2017г. состоялся научный семинар АО «МЦСТ» и ПАО «ИНЭУМ им.И.С.Брука» по теме: «Системы программной верификации»
Доклад А.Н. Карпова и Е.А. Рожкова, ООО «Системы программной верификации», г.Тула
- Системы программной верификации
Скачать
(1,65 МБ)