DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore

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

Скачать клип DEVCON1: Towards Imandra Contracts: Formal verification for Ethereum - Grant Passmore