01300nam--2200373---450-99000299787020331620071023120925.03-540-69735-0000299787USA01000299787(ALEPH)000299787USA0100029978720071023d2007----km-y0itay0103----baengDE||||||||001yyVerification, Model Checking, and Abstract Interpretation8th International Conference, VMCAI 2007Nice, France, January 14-16, 2007proceedingsByron Cook, Andreas Podelski(Ed.)BerlinSpringer[c2007]XI, 394 p.ill.20 cmLecture Notes in Computer Science43492001Lecture Notes in Computer Science4349ProgrammazioneCongressiNice2007005.1COOK,ByronPODELSKI,AndreasInternational Conference, VMCAI 2007<8. ;2007 ;Nice>598890ITsalbcISBD990002997870203316001 LNCS 434934530/CBS00100216090BKSCISENATORE9020071023USA011209Verification, Model Checking, and Abstract Interpretation1028653UNISA