Preventing billion dollar coding errors with scalable formal verification

Uploaded

12/3/2022
Share

About

Spoken At

ETHIndia 2022

Featured Speakers

person

Mooly Sagiv