02016nam 2200577 a 450 991048387190332120200520144314.03-642-15769-610.1007/978-3-642-15769-1(CKB)2670000000045102(SSID)ssj0000446802(PQKBManifestationID)11314930(PQKBTitleCode)TC0000446802(PQKBWorkID)10504693(PQKB)10530085(DE-He213)978-3-642-15769-1(MiAaPQ)EBC3065874(PPN)149031823(EXLCZ)99267000000004510220100804d2010 uy 0engurnn|008mamaatxtccrStatic analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings /Radhia Cousot, Matthieu Martel (eds.)1st ed. 2010.Berlin ;New York Springer20101 online resource (XI, 473 p. 131 illus.) LNCS sublibrary. SL 2, Programming and software engineeringLecture notes in computer science,0302-9743 ;6337Bibliographic Level Mode of Issuance: Monograph3-642-15768-8 Includes bibliographical references and index.LNCS sublibrary.SL 2,Programming and software engineering.Lecture notes in computer science ;6337.Computer programmingCongressesProgramming languages (Electronic computers)CongressesComputer programmingProgramming languages (Electronic computers)005.1Cousot Radhia1752269Martel Matthieu1752270International Static Analysis SymposiumMiAaPQMiAaPQMiAaPQBOOK9910483871903321Static analysis4187527UNINA