@proceedings{DBLP:journals/corr/abs-1108-2085,
editor = {Laura Kov{\'a}cs and
Rosario Pugliese and
Francesco Tiezzi},
title = {Proceedings 7th International Workshop on Automated Specification
and Verification of Web Systems},
booktitle = {WWV},
series = {EPTCS},
volume = {61},
year = {2011},
ee = {http://dx.doi.org/10.4204/EPTCS.61},
bibsource = {DBLP, http://dblp.uni-trier.de}
}