International Workshop on Automated Specification and Verification of Web Systems (2 : 2006 : Paphos) ^{Konferenz oder Veranstaltung}