TY  - RPRT
TI  - FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq
AU  - Zheng Yang
AU  - Hang Lei
PY  - 2018
DO  - 10.1109/access.2019.2905428
UR  - https://arxiv.org/abs/1810.04828
ID  - 1810.04828
ER  -