Reference:

Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. Hsf(c): A software verifier based on horn clauses - (competition contribution). In TACAS, pages 549–551, March 2012.

Suggested BibTeX entry:

@inproceedings{GrebenshchikovTACAS12,
    author = {Sergey Grebenshchikov and Ashutosh Gupta and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {TACAS},
    month = {March},
    pages = {549-551},
    title = {HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution)},
    year = {2012}
}