Smart Contract formal verification: Process Calculus and Modal Logics

Просмотров: 1 | Время: 01:16:32 | Голосов: +1 +1 | Скачать

Скачать клип Smart Contract formal verification: Process Calculus and Modal Logics