Improving abstract interpretations by combining domains | Publicación