author = {Demis Ballis and Temur Kutsia},
title = {{Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems }},
language = {english},
volume = {46},
number = {2},
isbn_issn = {ISSN 0747-7171},
year = {2011},
editor = {Demis Ballis and Temur Kutsia},
length = {0},
url = {http://dx.doi.org/10.1016/j.jsc.2010.08.003}