LEADER 01489aam  2200409I  450 
001 9910711175403321
005 20160121100812.0
024 8 $aGOVPUB-C13-4026f0bc4b62367aad44ac081d35edd0
035   $a(CKB)5470000002480255
035   $a(OCoLC)935501898
035   $a(EXLCZ)995470000002480255
100   $a20160121d2011      ua             0
101 0 $aeng
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aReport on the third static analysis tool exposition (SATE 2010) /$fvadim Okun, Aurelien Delaitre, Paul E. Black
210  1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2011.
215   $a1 online resource
225 1 $aNIST special publication ;$v500-283
300   $a2011.
300   $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aTitle from PDF title page.
320   $aIncludes bibliographical references.
517   $aReport on the third static analysis tool exposition 
700   $aOkun$b Vadim$01394648
701   $aBlack$b Paul E$019154
701   $aDelaitre$b Aure?lien$01401372
701   $aOkun$b Vadim$01394648
712 02$aNational Institute of Standards and Technology (U.S.)
801  0$bNBS
801  1$bNBS
801  2$bGPO
906   $aBOOK
912   $a9910711175403321
996   $aReport on the third static analysis tool exposition (SATE 2010)$93488811
997   $aUNINA