02096nam--2200541---450-99000115481020331620030623114000.03-540-44121-2000115481USA01000115481(ALEPH)000115481USA0100011548120021217d2002----km-y0itay0103----baENG||||||||001yyVerification, Model checking, and abstract interpretationThird International Workshop,VMCAI 2002Venice,Italy,January 21-22 2002Revised papersAgostino Cortesi(ed.)BerlinSpringer-Verlagcopyr.2002VIII,330 p.ill.20 cmLecture notes in computer science2294Programmazione Congressi 2002005.1CortesiAgostinoInternational Workshop,VMCAI 2002<3 ; 2002 ; Venice Italy>555254ITCBSISBD990001154810203316001 LNCS (2294)0026802 CBS00100112114BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011156DIGIUSEPPE9020030612USA011159DIGIUSEPPE9020030612USA011205DIGIUSEPPE9020030612USA011211DIGIUSEPPE9020030612USA011217DIGIUSEPPE9020030612USA011222DIGIUSEPPE9020030612USA011229DIGIUSEPPE9020030623USA011139DIGIUSEPPE9020030623USA011140PATRY9020040406USA011721Verification, Model checking, and abstract interpretation983474UNISA