@misc{indiciae947661bf58e8,
  title = {VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts},
  author = {Sunbeom So and Myungho Lee and Jisu Park and Heejo Lee and Hakjoo Oh},
  year = {2019},
  url = {https://arxiv.org/abs/1908.11227},
  note = {Source identifier: 1908.11227}
}