@misc{groce2019what,
  title={What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?},
  author={Alex Groce and Josselin Feist and Gustavo Grieco and Michael Colburn},
  year={2019},
  eprint={1911.07567},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/1911.07567}
}