TY  - RPRT
TI  - Accurate Programming: Thinking about programs in terms of properties
AU  - Walid Taha
AU  - Veronica Gaspes
AU  - Rex Page
PY  - 2011
DO  - 10.4204/eptcs.66.13
UR  - https://arxiv.org/abs/1109.0786
ID  - 1109.0786
ER  -