LEADER 01686aam  2200445I  450 
001 9910709586003321
005 20241220003856.0
024 8 $aGOVPUB-C13-85ce8522f8e17f9964cecdf57250a8c6
035   $a(CKB)5470000002479137
035   $a(OCoLC)826903969
035   $a(EXLCZ)995470000002479137
100   $a20130207d2013      ua         0
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aReport on the static analysis tool exposition (SATE) IV /$fVadim Okun ... [and others]
210  1$aGaithersburg, MD :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d2013.
215   $a1 online resource (39 pages) $cillustrations
225 1 $aNIST special publication ;$v500-297
300   $a"January 2013."
300   $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aTitle from PDF title page (viewed February 6, 2013).
320   $aIncludes bibliographical references.
517   $aReport on the static analysis tool exposition
606   $aComputer security
606   $aComputer software
615  0$aComputer security.
615  0$aComputer software.
701   $aBlack$b Paul E$019154
701   $aDelaitre$b Aurelien$01401372
701   $aOkun$b Vadim$01394648
712 02$aNational Institute of Standards and Technology (U.S.).$bSoftware and Systems Division, Information Technology Laboratory.
801  0$bNBS
801  1$bNBS
801  2$bGPO
906   $aBOOK
912   $a9910709586003321
996   $aReport on the static analysis tool exposition (SATE) IV$94303966
997   $aUNINA