Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. Classifying and solving horn clauses for verification. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments, 2013.

[ bib ] Back