01887nam 2200481 450 991014266060332120230721025417.01-5090-9633-7(CKB)1000000000331031(SSID)ssj0000393806(PQKBManifestationID)12151869(PQKBTitleCode)TC0000393806(PQKBWorkID)10378677(PQKB)11756099(WaSeSS)IndRDA00123349(EXLCZ)99100000000033103120200520d2007 uy 0engur|||||||||||txtccrSelected papers from 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 /María Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Politécnica de Valencia [and three others]Los Alamitos, California :IEEE Computer Society,2007.1 online resource (vii, 71 pages)Bibliographic Level Mode of Issuance: Monograph0-7695-2826-0 InternetCongressesWorld Wide WebCongressesInternetWorld Wide Web004.678Alpuente MaríaEscobar SantiagoFalaschi MorenoUniversidad Politécnica de Valencia,ISoLA 2006(2nd :2006 :Paphos, Cyprus),WaSeSSWaSeSSPROCEEDING9910142660603321Selected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06)2333386UNINA