@misc{indiciaeefbbd8875e67,
  title = {Soft Contract Verification for Higher-Order Stateful Programs},
  author = {Phuc C. Nguyen and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn},
  year = {2017},
  doi = {10.1145/3158139},
  url = {https://arxiv.org/abs/1711.03620},
  note = {Source identifier: 1711.03620}
}