LEADER 01887nam  2200481   450 
001 9910142660603321
005 20230721025417.0
010   $a1-5090-9633-7
035   $a(CKB)1000000000331031
035   $a(SSID)ssj0000393806
035   $a(PQKBManifestationID)12151869
035   $a(PQKBTitleCode)TC0000393806
035   $a(PQKBWorkID)10378677
035   $a(PQKB)11756099
035   $a(WaSeSS)IndRDA00123349
035   $a(EXLCZ)991000000000331031
100   $a20200520d2007      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aSelected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06) $especial track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus /$fMari?a Alpuente, Santiago Escobar, Moreno Falaschi (editor) ; sponsored by Universidad Polite?cnica de Valencia [and three others]
210  1$aLos Alamitos, California :$cIEEE Computer Society,$d2007.
215   $a1 online resource (vii, 71 pages)
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-2826-0 
606   $aInternet$vCongresses
606   $aWorld Wide Web$vCongresses
615  0$aInternet
615  0$aWorld Wide Web
676   $a004.678
702   $aAlpuente$b Mari?a
702   $aEscobar$b Santiago
702   $aFalaschi$b Moreno
712 02$aUniversidad Polite?cnica de Valencia,
712 12$aISoLA 2006$d(2nd :$f2006 :$ePaphos, Cyprus),
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910142660603321
996   $aSelected papers from 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems (WWV '06)$92333386
997   $aUNINA