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 |