TY  - RPRT
TI  - Learning Universally Quantified Invariants of Linear Data Structures
AU  - Pranav Garg
AU  - Christof Loding
AU  - P. Madhusudan
AU  - Daniel Neider
PY  - 2013
UR  - https://arxiv.org/abs/1302.2273
ID  - 1302.2273
ER  -