LEADER 01231nam2-2200361---450-
001 990003325800203316
005 20091006112002.0
010   $a978-3-642-03236-3
035   $a000332580
035   $aUSA01000332580
035   $a(ALEPH)000332580USA01
035   $a000332580
100   $a20091006d2009----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aStatic analysis$e16th international symposium, SAS 2009$eLos Angeles, CA, USA, august 9-11, 2009$eproceedings$fJens Palsberg...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $aX, 359 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v5673
410  1$1001000314960$12001$aLecture notes in computer science$v5673
606   $aInformatica$xAnalisi$xCongressi$yLos Angeles$z2008
676   $a005.1
702  1$aPALSBERG,$bJens
710 12$aInternational symposium, SAS 2008$d<16. ;$f2009 ;$eLos Angeles>$0606180
801  0$aIT$bsalbc$gISBD
912   $a990003325800203316
951   $a001 LNCS 5673$b38636/CBS$c001$d00335142
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091006$lUSA01$h1120
996   $aStatic analysis$91120281
997   $aUNISA