Connect Discord
My hackathons
Hackathons
Showcase
Talks
Guides
Hackathons
Showcase
Talks
Guides
Login
Preventing billion dollar coding errors with scalable formal verification
Uploaded
12/3/2022
Share
About
Spoken At
ETHIndia 2022
Featured Speakers
Mooly Sagiv