Coinresear.ch
About Papers [680] Stats Tags

Papers (tezos) [3]

A curated list of papers ordered by number of citations. Last updated 2019-12-10

#Title
Citations
1.Tezos -- a self-amending crypto-ledger Goodman, L.M.. 2014
14
2.Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts Bernardo, Bruno and Cauderlier, Rapha\"el and Hu, Zhenlei and Pesin, Basile and Tesson, Julien. 2019
2
3.Introduction to the Tezos Blockchain Allombert, Victor and Bourgoin, Mathias and Tesson, Julien. 2019
0

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies