Code Podcast 7: $300M worth of bugs

Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts

0 followers

Visit website

Code Podcast 7: $300M worth of bugs Reviews

Reviews
Most Informative