TY  - RPRT
TI  - Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq
AU  - Zheng Yang
AU  - Hang Lei
PY  - 2021
DO  - 10.1155/2020/6191537
UR  - https://arxiv.org/abs/1803.09885
ID  - 1803.09885
ER  -