01442nlm0 22004211i 450 9900092494904033219783540740612000924949FED01000924949(Aleph)000924949FED0100092494920100926d2007----km-y0itay50------baengDEdrnn-008mamaaStatic AnalysisRisorsa elettronica14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsedited by Hanne Riis Nielson, Gilberto FiléBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434634Documento elettronicoTestoFormato html, pdfFilé,GilbertoNielson,Hanne RiisITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74061-2EB990009249490403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringStatic Analysis772085UNINA