@misc{indiciaed60d18da1285,
  title = {Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems},
  author = {Laura Kovacs and Rosario Pugliese and Francesco Tiezzi},
  year = {2011},
  doi = {10.4204/eptcs.61},
  url = {https://arxiv.org/abs/1108.2085},
  note = {Source identifier: 1108.2085}
}