LEADER 02989nam--2200733---450-
001 990001155450203316
005 20030702114507.0
010   $a3-540-44121-2
035   $a000115545
035   $aUSA01000115545
035   $a(ALEPH)000115545USA01
035   $a000115545
100   $a20021217d2003----km-y0itay0103----ba
101   $aENG
105   $a||||||||001yy
200 1 $aVerification, model checking, and abstract interpretation$e4th International conference,WMCAI 2003$eNew York, NY, USA, January 9-11, 2003$eProceedings$fLenore D. Zuck... <et al.> (Eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr.2003
215   $aXI,323 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2575
606   $aLinguaggi di programmazione Congressi 2003
676   $a005.1
702   $aZuck$bLenore D.
710   $aInternational conference,VMCAI 2003< 4; 2003 ; New York NY USA>$0555278
801  0$aIT$bCBS$gISBD
912   $a990001155450203316
951   $a001 LNCS (2575)$b0028658 CBS$c001$d00113397
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030310$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030530$lUSA01$h1247
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1655
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1657
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1536
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1541
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1543
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1156
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1159
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1205
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1316
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1332
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1339
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1345
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1354
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1358
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1401
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1126
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1131
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1135
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1149
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1210
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1226
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1232
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1237
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1244
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1250
979   $aDIGIUSEPPE$b90$c20030624$lUSA01$h1614
979   $aDIGIUSEPPE$b90$c20030702$lUSA01$h1145
979   $aPATRY$b90$c20040406$lUSA01$h1721
996   $aVerification, model checking, and abstract interpretation$9983337
997   $aUNISA