@misc{indiciae2222180e676b,
  title = {Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq},
  author = {Zheng Yang and Hang Lei},
  year = {2021},
  doi = {10.1155/2020/6191537},
  url = {https://arxiv.org/abs/1803.09885},
  note = {Source identifier: 1803.09885}
}