TY  - RPRT
TI  - Making Tezos smart contracts more reliable with Coq
AU  - Bruno Bernardo
AU  - Raphaël Cauderlier
AU  - Guillaume Claret
AU  - Arvid Jakobsson
AU  - Basile Pesin
AU  - Julien Tesson
PY  - 2021
DO  - 10.1007/978-3-030-61467-6_5
UR  - https://arxiv.org/abs/2106.12973
ID  - 2106.12973
ER  -