A rewriting logic approach to the formal specification and verification of web applications | Publicación