@article{eprints1854,
           title = {Special issue on Automated Specification and Verification of Web Systems (Editorial)},
          volume = {82},
          author = {Laura Kov{\'a}cs and Rosario Pugliese and Josep Silva and Francesco Tiezzi},
          number = {8},
            year = {2013},
         journal = {Journal of Logic and Algebraic Programming},
       publisher = {Elsevier},
           pages = {241--242},
             url = {http://eprints.imtlucca.it/1854/}
}