01361nlm0 22004091i 450 9900092368304033219783540377580000923683FED01000923683(Aleph)000923683FED0100092368320100926d2006----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedingsedited by Kwangkeun YiBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97434134Documento elettronicoTestoFormato html, pdfYi,KwangkeunITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11823230EB990009236830403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA