Coinresear.ch
Papers [1351] Stats Tags

Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts

Title Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
Authors Bernardo, Bruno and Cauderlier, Rapha{\"e}l and Hu, Zhenlei and Pesin, Basile and Tesson, Julien
Year 2019





Videos



Links

  • Verified Multisig Contract

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies