Дмитрий Плахов. Архитектура формально-верификационной системы распределенного реестра.

Тема доклада: “Архитектура формально-верифицированной системы распределенного реестра“. Спикер: Дмитрий Плахов, руководитель разработки, главный эксперт Лидирующего исследовательского центра в области технологий распределённого реестра АНО ВО «Университет Иннополис».