01421aam 2200409I 450 991071117570332120160121100812.0GOVPUB-C13-af4516cf21164fba75e5e473c94b5106(CKB)5470000002480252(OCoLC)935501861(EXLCZ)99547000000248025220160121d2009 ua 0engrdacontentrdamediardacarrierStatic analysis tool exposition (SATE) 2008 /vadim Okun, Romain Gaucher, Paul E. BlackGaithersburg, MD :U.S. Dept. of Commerce, National Institute of Standards and Technology,2009.1 online resourceNIST special publication ;500-2792009.Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.Title from PDF title page.Includes bibliographical references.Static analysis tool exposition Okun Vadim1394648Black Paul E19154Gaucher Romain1394649Okun Vadim1394648National Institute of Standards and Technology (U.S.)NBSNBSGPOBOOK9910711175703321Static analysis tool exposition (SATE) 20083452317UNINA