TMPA School 2018 - Ростислав Яворский - Формальная верификация для блокчейн (часть 2)

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
March 03, 2018

TMPA School 2018 - Ростислав Яворский - Формальная верификация для блокчейн (часть 2)

Формальная верификация смарт-контрактов для платформ на технологии блокчейн (Лекция № 2), Ростислав Яворский, TMPA School 2018, Saratov

5206c19df417b8876825b5561344c1a0?s=128

Exactpro

March 03, 2018
Tweet