Report copyright - Formal Reasoning about Decentralized Finance Protocols2021 Move fast and break nothing Formal Reasoning about Decentralized Finance Protocols Mooly Sagiv Certora and Tel Aviv University
Please pass captcha verification before submit form