TY  - RPRT
TI  - Albert, an intermediate smart-contract language for the Tezos blockchain
AU  - Bruno Bernardo
AU  - Raphaël Cauderlier
AU  - Basile Pesin
AU  - Julien Tesson
PY  - 2020
UR  - https://arxiv.org/abs/2001.02630
ID  - 2001.02630
ER  -