author = {Laura Kovacs and Temur Kutsia},
title = {{Special issue on Automated Specification and Verification of Web Systems}},
language = {english},
isbn_issn = {ISSN 1570-8683},
year = {2012},
editor = {Laura Kovacs and Temur Kutsia},
length = {0},
url = {http://dx.doi.org/10.1016/j.jal.2011.11.001}