01693aam 2200445I 450 991070958600332120130207122001.0GOVPUB-C13-85ce8522f8e17f9964cecdf57250a8c6(CKB)5470000002479137(OCoLC)826903969(EXLCZ)99547000000247913720130207d2013 ua 0engtxtrdacontentcrdamediacrrdacarrierReport on the static analysis tool exposition (SATE) IV /Vadim Okun ... [and others]Gaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,2013.1 online resource (39 pages) illustrationsNIST special publication ;500-297"January 2013."Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page (viewed February 6, 2013).Includes bibliographical references.Report on the static analysis tool exposition Computer securityComputer softwareComputer security.Computer software.Black Paul E19154Delaitre Aurelien M1395626Okun Vadim1394648National Institute of Standards and Technology (U.S.).Software and Systems Division, Information Technology Laboratory.NBSNBSGPOBOOK9910709586003321Report on the static analysis tool exposition (SATE) IV3454455UNINA