TY  - RPRT
TI  - Soft Contract Verification
AU  - Phuc C. Nguyen
AU  - Sam Tobin-Hochstadt
AU  - David Van Horn
PY  - 2014
DO  - 10.1145/2628136.2628156
UR  - https://arxiv.org/abs/1307.6239
ID  - 1307.6239
ER  -