@misc{indiciaec344870b5d98,
  title = {SAFEVM: A Safety Verifier for Ethereum Smart Contracts},
  author = {Elvira Albert and Jesús Correas and Pablo Gordillo and Guillermo Román-Díez and Albert Rubio},
  year = {2019},
  url = {https://arxiv.org/abs/1906.04984},
  note = {Source identifier: 1906.04984}
}