An iterative approach to precondition inference using constrained Horn clauses | Publicación