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 Computer Aided Verification – 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/0001LMN13,
author = {Pranav Garg and
Christof L{"{o}}ding and
P. Madhusudan and
Daniel Neider},
title = {Learning Universally Quantified Invariants of Linear Data Structures},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
year = {2013},
pages = {813--829},
crossref = {DBLP:conf/cav/2013},
url = {http://dx.doi.org/10.1007/978-3-642-39799-8_57},
doi = {10.1007/978-3-642-39799-8_57},
timestamp = {Mon, 15 Sep 2014 13:06:17 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/cav/0001LMN13},
bibsource = {dblp computer science bibliography, http://dblp.org}
}