Proceedings

• María Alpuente, Santiago Escobar, Moreno Falaschi, editors, First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Volume DSIC-II/03/05 of Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, 2005.