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

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