by Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider
Reference:
Learning Universally Quantified Invariants of Linear Data Structures (Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider), In CoRR, volume abs/1302.2273, 2013.
Bibtex Entry:
@article{DBLP:journals/corr/abs-1302-2273, author = {Pranav Garg and Christof L{"{o}}ding and P. Madhusudan and Daniel Neider}, title = {Learning Universally Quantified Invariants of Linear Data Structures}, journal = {CoRR}, year = {2013}, volume = {abs/1302.2273}, url = {http://arxiv.org/abs/1302.2273}, timestamp = {Mon, 15 Sep 2014 13:07:12 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1302-2273}, bibsource = {dblp computer science bibliography, http://dblp.org} }