LEADER 01598oam 2200505zu 450 001 9910376162403321 005 20210807002151.0 035 $a(CKB)3170000000003448 035 $a(SSID)ssj0001172087 035 $a(PQKBManifestationID)11679011 035 $a(PQKBTitleCode)TC0001172087 035 $a(PQKBWorkID)11192927 035 $a(PQKB)10385583 035 $a(WaSeSS)IndRDA00014903 035 $a(Association for Computing Machinery)10.1145/1394504 035 $a(EXLCZ)993170000000003448 100 $a20160829d2008 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aProceedings of the Static Analysis Workshop : SAW 2008 210 31$a[Place of publication not identified]$cACM$d2008 215 $a1 online resource (38 pages) 225 1 $aACM Conferences 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-59593-924-5 410 0$aACM Conferences 517 1 $aProceedings of the 2008 Workshop on Static Analysis 517 1 $aSAW 2008 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aBlack$b Paul E$019154 702 $aBlack$b Paul E 702 $aFong$b Elizabeth 702 $aVenet$b Arnaud 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376162403321 996 $aProceedings of the Static Analysis Workshop : SAW 2008$91977811 997 $aUNINA