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