01489aam 2200409I 450 991071117540332120160121100812.0GOVPUB-C13-4026f0bc4b62367aad44ac081d35edd0(CKB)5470000002480255(OCoLC)935501898(EXLCZ)99547000000248025520160121d2011 ua 0engrdacontentrdamediardacarrierReport on the third static analysis tool exposition (SATE 2010) /vadim Okun, Aurelien Delaitre, Paul E. BlackGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,2011.1 online resourceNIST special publication ;500-2832011.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Report on the third static analysis tool exposition Okun Vadim1394648Black Paul E19154Delaitre Aurélien1401372Okun Vadim1394648National Institute of Standards and Technology (U.S.)NBSNBSGPOBOOK9910711175403321Report on the third static analysis tool exposition (SATE 2010)3488811UNINA