TY  - RPRT
TI  - Abstract interpretation of Michelson smart-contracts
AU  - Guillaume Bau
AU  - Antoine Miné
AU  - Vincent Botbol
AU  - Mehdi Bouaziz
PY  - 2022
DO  - 10.1145/3520313.3534660
UR  - https://arxiv.org/abs/2210.05217
ID  - 2210.05217
ER  -