Login / Signup

Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).

Daniel BrittenVilhelm SjöbergSteve Reeves
Published in: FMBC@CAV (2021)
Keyphrases