Multivariant Assertion-Based Guidance in Abstract Interpretation | Publicación