"Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and ..."

Bishoksan Kafle, John P. Gallagher, José F. Morales (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics