SMT Techniques for Fast Predicate Abstraction | Publicación