Code Podcast 7: $300M worth of bugs
Deep dive into formal verification of ethereum contacts
0 followers
Deep dive into formal verification of ethereum contacts
0 followers
Code Podcast 7: $300M worth of bugs
Launch date
Code Podcast 8: P2P People to PeopleHow do decentralized peer-to-peer protocols work?
Launched on July 13th, 2018
Code Podcast 7: $300M worth of bugsDeep dive into formal verification of ethereum contacts
Launched on March 14th, 2018