dblp.uni-trier.de www.uni-trier.de

Automated Specification and Verification of Web Sites

WWV 2005: Valencia, Spain

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

Copyright © Sat May 16 23:48:44 2009 by Michael Ley (ley@uni-trier.de)