01835nam--2200469---450-99000115420020331620030623163820.03-540-44121-2000115420USA01000115420(ALEPH)000115420USA0100011542020021217d2002----km-y0itay0103----baENG||||||||001yyFormal methods and software engineering4th International conference on formal engineering methods,ICFEM 2002Shanghai,China, October 21-25 , 2002proceedingsChris George... <et al.> (eds.)BerlinSpringer-Verlagcopyr.2002XI,626 p.ill.20 cmLecture notes in computer science2495Elaboratori elettronici Programmazione Congressi 2002Software Progettazione Congressi 2002004.01GeorgeChrisInternational conference on formal engineering methods, ICFEM 2002 <4. ; 2002 ; Shanghai, China>555225ITCBSISBD990001154200203316001 LNCS (2495)0027400 CBS00100113320BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011022DIGIUSEPPE9020030623USA011638PATRY9020040406USA011721Formal methods and software engineering983433UNISA