01517nam--2200421---45--9900003724902033163-540-41196-80037249USA010037249(ALEPH)000037249USA01003724920010323d2000----km-y0ITAy0103-------baENGDEIntegrated formal methodssecond International conference, IFM 2000Dagstuhl Castle, Germany, November 1-3, 2000procedingsWolfgang Grieskamp ... <et al.> (eds.)BerlinSpringer-Verlagcopyr. 2000X, 439 p.ill.20 cm.Lecture notes in computer science19452001Lecture notes in computer science1945Elaboratori elettroniciCongressi2000SoftwareCongressi2000CongressiDagstuhl Castle (Germania)004Grieskamp,WolfgangInternational conference, IFM <2.; 2000 ; Dagstuhl Castle, Germany>543950ITACBSISBD990000372490203316001 LNCS (1945)0026016 CBS00100104445BKSCIALANDI9020010323USA011247ALANDI9020010323USA011250ALANDI9020010410USA011112ALANDI9020010410USA01111520020403USA011645PATRY9020040406USA011626Integrated formal methods877575UNISA