01407nlm0 22004211i 450 9900092499104033219783540319719000924991FED01000924991(Aleph)000924991FED0100092499120100926d2005----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedingsedited by Chris Hankin, Igor SiveroniBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433672Documento elettronicoTestoFormato html, pdfHankin,ChrisSiveroni,IgorITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11547662EB990009249910403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA