• Published

  Extracting smart contracts tested and verified in Coq

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  ConCert: A smart contract certification framework in Coq

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  ConCert: A Smart Contract Certification Framework in Coq

  Research output: Working paper › Research

View all (8) »