Department of Computer Science

• Published

  ConCert: A smart contract certification framework in Coq

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

• Published

  ConCert: A Smart Contract Certification Framework in Coq

  Research output: Working paper › Research

• Published

  Smart Contract Interactions in Coq

  Research output: Working paper › Research › peer-review

View all (3) »