@misc{indiciae850b5b9f7407,
  title = {A Programmer-Centric Approach to Program Verification in ATS},
  author = {Zhiqiang Ren and Hongwei Xi},
  year = {2012},
  url = {https://arxiv.org/abs/1203.6102},
  note = {Source identifier: 1203.6102}
}