abs-1108-2085'

@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}
}