%D 2013
%A Laura Kov?cs
%A Rosario Pugliese
%A Josep Silva
%A Francesco Tiezzi
%I Elsevier
%L eprints1854
%N 8
%V 82
%P 241-242
%J Journal of Logic and Algebraic Programming
%R 10.1016/j.jlap.2013.05.007
%T Special issue on Automated Specification and Verification of Web Systems (Editorial)