🛠 Finding Bugs With Formal Verification: Hands-on Workshop - Yura Sherman

Mon, Oct 2, 2023, 12:00 AM

Join Yura Sherman from Certora for a workshop titled "Finding Bugs With Formal Verification: Hands-on Workshop." Thank you to everyone who joined us for ETHBogotá 🇨🇴 and helped us kick off Devcon Week. With over 1400 attendees from 62 different countries, ETHBogotá was our biggest hackathon in Latin America ever! ------------------------------------- Follow us: https://twitter.com/ETHGlobal​ Check us out: https://ethglobal.co​m Email us at: hello@ethglobal.com #ethereum #web3 #blockchain #eth