Multivariant Non-failure Analysis via Standard Abstract Interpretation | Publicación