%0 Journal Article
%@ 1567-8326
%A Kovács, Laura
%A Pugliese, Rosario
%A Silva, Josep
%A Tiezzi, Francesco
%D 2013
%F eprints:1854
%I Elsevier
%J Journal of Logic and Algebraic Programming
%N 8
%P 241-242
%T Special issue on Automated Specification and Verification of Web Systems (Editorial)
%U http://eprints.imtlucca.it/1854/
%V 82