01474nlm0 22004091i 450 9900092550804033219783540781639000925508FED01000925508(Aleph)000925508FED0100092550820100926d2008----km-y0itay50------baengDEdrnn-008mamaaVerification, Model Checking, and Abstract InterpretationRisorsa elettronica9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedingsedited by Francesco Logozzo, Doron A. Peled, Lenore D. ZuckBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434905Documento elettronicoTestoFormato html, pdfLogozzo,FrancescoPeled,Doron A.Zuck,Lenore D.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78163-9EB990009255080403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringVerification, Model Checking, and Abstract Interpretation771936UNINA