@proceedings {ABF04a, title = {Automated Verification of Web Sites Using Partial Rewriting}, journal = {Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004}, year = {2004}, pages = {81{\textendash}88}, author = {Maria Alpuente and Demis Ballis and Moreno Falaschi} }