TY  - RPRT
TI  - Formal Verification of `Programming to Interfaces' Programs
AU  - Jianhua Zhao
AU  - Xuandong LI
PY  - 2013
UR  - https://arxiv.org/abs/1311.7181
ID  - 1311.7181
ER  -