StreamETH

Home Channels Speakers Topics Saved

← All speakers

ĐM

Đorđe Mijović

Nostra

Talks

01 total

FC

20:50

Formal Verification of Smart Contracts in Cairo

EthCC2024 · Jul 11, 2024

Đorđe Mijović