Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts

0 followers

0 followers

Framer — Launch websites with enterprise needs at startup speeds.

Launch websites with enterprise needs at startup speeds.

Promoted

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