Special issue on Automated Specification and Verification of Web Systems | Publicación