Compositional Verification in Rewriting Logic | Publicación