01282nam--2200373---45--99000111577020331620021213172921.03-540-43703-7000111577USA01000111577(ALEPH)000111577USA0100011157720021213d2002----km-y0ITAy0103-------baENGDEIntegrated formal methodsThird International conference, IFM 2002Turku, Finland, May 15-18, 2002procedingsMichael Butler... <et al.> (eds.)BerlinSpringer-Verlagcopyr. 2002X, 339 p.ill.20 cm.Lecture notes in computer science23352001Lecture notes in computer science2335Elaboratori elettroniciCongressi2002SoftwareCongressi2002004Butler,MichaelInternational conference, IFM <3.; 2002 ; Turku , Finland>554527ITACBSISBD990001115770203316001 LNCS (2335)0026811 CBS00100112106BKSCIDIGIUSEPPE9020021213USA011729PATRY9020040406USA011717Integrated formal methods981377UNISA