Specification and Verification of Web Applications in Rewriting Logic | Publicación