Papers (tezos) [3]
A curated list of papers ordered by number of citations. Last updated 2019-12-10
# | Title | |
1. | Tezos -- a self-amending crypto-ledger Goodman, L.M.. 2014 | |
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 ![]() | |
3. | Introduction to the Tezos Blockchain Allombert, Victor and Bourgoin, Mathias and Tesson, Julien. 2019 |