TY  - RPRT
TI  - Soft Contract Verification for Higher-Order Stateful Programs
AU  - Phuc C. Nguyen
AU  - Thomas Gilray
AU  - Sam Tobin-Hochstadt
AU  - David Van Horn
PY  - 2017
DO  - 10.1145/3158139
UR  - https://arxiv.org/abs/1711.03620
ID  - 1711.03620
ER  -