TY  - RPRT
TI  - Reasoning about Algebraic Data Types with Abstractions
AU  - Tuan-Hung Pham
AU  - Andrew Gacek
AU  - Michael W. Whalen
PY  - 2016
UR  - https://arxiv.org/abs/1603.08769
ID  - 1603.08769
ER  -