02989nam--2200733---450-99000115545020331620030702114507.03-540-44121-2000115545USA01000115545(ALEPH)000115545USA0100011554520021217d2003----km-y0itay0103----baENG||||||||001yyVerification, model checking, and abstract interpretation4th International conference,WMCAI 2003New York, NY, USA, January 9-11, 2003ProceedingsLenore D. Zuck... <et al.> (Eds.)BerlinSpringer-Verlagcopyr.2003XI,323 p.ill.20 cmLecture notes in computer science2575Linguaggi di programmazione Congressi 2003005.1ZuckLenore D.International conference,VMCAI 2003< 4; 2003 ; New York NY USA>555278ITCBSISBD990001155450203316001 LNCS (2575)0028658 CBS00100113397BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011156DIGIUSEPPE9020030612USA011159DIGIUSEPPE9020030612USA011205DIGIUSEPPE9020030612USA011316DIGIUSEPPE9020030612USA011332DIGIUSEPPE9020030612USA011339DIGIUSEPPE9020030612USA011345DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011347DIGIUSEPPE9020030612USA011354DIGIUSEPPE9020030612USA011358DIGIUSEPPE9020030612USA011401DIGIUSEPPE9020030613USA011126DIGIUSEPPE9020030613USA011131DIGIUSEPPE9020030613USA011135DIGIUSEPPE9020030613USA011149DIGIUSEPPE9020030613USA011200DIGIUSEPPE9020030613USA011210DIGIUSEPPE9020030613USA011226DIGIUSEPPE9020030613USA011232DIGIUSEPPE9020030613USA011237DIGIUSEPPE9020030613USA011244DIGIUSEPPE9020030613USA011250DIGIUSEPPE9020030624USA011614DIGIUSEPPE9020030702USA011145PATRY9020040406USA011721Verification, model checking, and abstract interpretation983337UNISA