HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution) (bibtex)
by Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko
Reference:
HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey RybalchenkoTACAS, pages 549-551, 2012.
Bibtex Entry:
@inproceedings{GGLPR12,
title = {HSF(C): A Software Verifier Based on Horn Clauses - (Competition
Contribution)},
ee = {http://dx.doi.org/10.1007/978-3-642-28756-5_46},
booktitle = {TACAS},
author = {Sergey Grebenshchikov and Ashutosh Gupta and Nuno P. Lopes and Corneliu
Popeea and Andrey Rybalchenko},
url = {/pubpdf/A_Software_Verifier_Based_on_Horn_Clauses.pdf},
year = {2012},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {549-551},
crossref = {DBLP:conf/tacas/2012},
}
Powered by bibtexbrowser