First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain

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