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