01367nlm0 22004091i 450 9900092514104033219783540477648000925141FED01000925141(Aleph)000925141FED0100092514120100926d2006----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedingsedited by Patrick CousotBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97432126Documento elettronicoTestoFormato html, pdfCousot,PatrickITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/3-540-47764-0EB990009251410403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA