Automated specification and verification of web systems selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / Maria Alpuente, Santiago Escobar, Moreno Falaschi (eds.). - Alpuente, Maria; Escobar, Santiago; Falaschi, Moreno (IEEE Computer Society, 2007)