Podcast Cover
YouTube14 Dec 2022
1h 21m

Preventing billion dollar coding errors with scalable formal verification - Mooly Sagiv, Alex Joesph

Podcast cover

ETHGlobal

ETHGlobal - Preventing billion dollar coding errors with scalable formal verification - Mooly Sagiv, Alex Joesph

Sign in to continue reading, translating and more.

Continue
 
mindmap screenshot
Preview
preview episode cover
How to Get Rich: Every EpisodeNaval