@misc{indiciaed2ce09285a2d,
  title = {Refinement Reflection: Complete Verification with SMT},
  author = {Niki Vazou and Anish Tondwalkar and Vikraman Choudhury and Ryan G. Scott and Ryan R. Newton and Philip Wadler and Ranjit Jhala},
  year = {2017},
  doi = {10.1145/3158141},
  url = {https://arxiv.org/abs/1711.03842},
  note = {Source identifier: 1711.03842}
}