TY  - RPRT
TI  - Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
AU  - Bruno Bernardo
AU  - Raphaël Cauderlier
AU  - Zhenlei Hu
AU  - Basile Pesin
AU  - Julien Tesson
PY  - 2019
UR  - https://arxiv.org/abs/1909.08671
ID  - 1909.08671
ER  -