@misc{indiciaead087ce863aa,
  title = {Higher-order symbolic execution for contract verification and refutation},
  author = {Phuc C. Nguyen and Sam Tobin-Hochstadt and David Van Horn},
  year = {2016},
  url = {https://arxiv.org/abs/1507.04817},
  note = {Source identifier: 1507.04817}
}