TY  - RPRT
TI  - Formal Verification of Solidity contracts in Event-B
AU  - Jian Zhu
AU  - Kai Hu
AU  - Mamoun Filali
AU  - Jean-Paul Bodeveix
AU  - Jean-Pierre Talpin
PY  - 2020
UR  - https://arxiv.org/abs/2005.01261
ID  - 2005.01261
ER  -