01411nlm0 22003971i 450 9900092364704033219783540478133000923647FED01000923647(Aleph)000923647FED0100092364720100926d2006----km-y0itay50------baengDEdrnn-008mamaaVerification, Model Checking, and Abstract InterpretationRisorsa elettronicaThird International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papersedited by Agostino CortesiBerlin ; HeidelbergSpringer2006Lecture Notes in Computer Science0302-97432294Documento elettronicoTestoFormato html, pdfCortesi,AgostinoITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/3-540-47813-2EB990009236470403321Computer scienceComputer ScienceComputer Science, generalLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringVerification, Model Checking, and Abstract Interpretation771936UNINA