@misc{indiciaeefa04becf8f7,
  title = {Executable Operational Semantics of Solidity},
  author = {Jiao Jiao and Shuanglong Kan and Shang-Wei Lin and David Sanan and Yang Liu and Jun Sun},
  year = {2018},
  url = {https://arxiv.org/abs/1804.01295},
  note = {Source identifier: 1804.01295}
}