01231nam2-2200361---450-99000332580020331620091006112002.0978-3-642-03236-3000332580USA01000332580(ALEPH)000332580USA0100033258020091006d2009----km-y0itay0103----baengDEa|||||||001yyStatic analysis16th international symposium, SAS 2009Los Angeles, CA, USA, august 9-11, 2009proceedingsJens Palsberg...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2009X, 359 p.ill.24 cm.Lecture notes in computer science56730010003149602001Lecture notes in computer science5673InformaticaAnalisiCongressiLos Angeles2008005.1PALSBERG,JensInternational symposium, SAS 2008<16. ;2009 ;Los Angeles>606180ITsalbcISBD990003325800203316001 LNCS 567338636/CBS00100335142BKSCIRSIAV79020091006USA011120Static analysis1120281UNISA01482nam 2200397 450 991070512480332120140311082042.0(CKB)5470000002448111(OCoLC)872255117(EXLCZ)99547000000244811120140311d2013 ua 0engurmn|||||||||rdacontentrdamediardacarrierMaritime security DHS could benefit from tracking progress in implementing the Small Vessel Security Strategy : report to congressional requesters[Washington, D.C.] :United States Government Accountability Office,2013.1 online resource (ii, 38 pages) color illustrationsTitle from title screen (viewed Jan. 30, 2014)."October 2013.""GAO-14-32."Includes bibliographical references.Maritime security TerrorismPreventionGovernment policyUnited StatesShipsSecurity measuresGovernment policyUnited StatesHarborsSecurity measuresGovernment policyUnited StatesTerrorismPreventionGovernment policyShipsSecurity measuresGovernment policyHarborsSecurity measuresGovernment policyGPOGPOBOOK9910705124803321Maritime security2739823UNINA