@misc{indiciae427f6ff1cd1b,
  title = {Soft Contract Verification},
  author = {Phuc C. Nguyen and Sam Tobin-Hochstadt and David Van Horn},
  year = {2014},
  doi = {10.1145/2628136.2628156},
  url = {https://arxiv.org/abs/1307.6239},
  note = {Source identifier: 1307.6239}
}