TY  - RPRT
TI  - A Programmer-Centric Approach to Program Verification in ATS
AU  - Zhiqiang Ren
AU  - Hongwei Xi
PY  - 2012
UR  - https://arxiv.org/abs/1203.6102
ID  - 1203.6102
ER  -