<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Special issue on Automated Specification and Verification of Web Systems (Editorial)"^^ . "2013" . "82" . "8" . . "Elsevier"^^ . . . "Journal of Logic and Algebraic Programming"^^ . . . "15678326" . . . . . . . . . . . . . . . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Laura"^^ . "Kovács"^^ . "Laura Kovács"^^ . . "Josep"^^ . "Silva"^^ . "Josep Silva"^^ . . . . . "HTML Summary of #1854 \n\nSpecial issue on Automated Specification and Verification of Web Systems (Editorial)\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .