Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts

0 followers

0 followers

Wispr FlowStop typing. Start speaking. 4x faster.

Promoted

Reviews

No reviews yetBe the first to leave a review for Code Podcast 7: $300M worth of bugs