Solving Recursion-Free Horn Clauses over LI+UIF (bibtex)
by Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
Reference:
Solving Recursion-Free Horn Clauses over LI+UIFAshutosh Gupta, Corneliu Popeea, Andrey RybalchenkoAPLAS, pages 188-203, 2011.
Bibtex Entry:
@inproceedings{GPR11,
title = {Solving Recursion-Free Horn Clauses over LI+UIF},
ee = {http://dx.doi.org/10.1007/978-3-642-25318-8_16},
booktitle = {APLAS},
author = {Ashutosh Gupta and Corneliu Popeea and Andrey Rybalchenko},
url = {/pubpdf/Solving_Recursion-Free_Horn_Clauses.pdf},
year = {2011},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {188-203},
crossref = {DBLP:conf/aplas/2011},
}
Powered by bibtexbrowser