01313nam--2200373---45--99000185668020331620040716103544.03-540-40828-2000185668USA01000185668(ALEPH)000185668USA0100018566820040716d2003----km-y0ITAy0103-------baengDEFME 2003formal methodsInternational simposium of formal metods europePisa, Italy, September 8-14, 2003proceedingsKeijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.)Berlin [etc.]Springercopyr. 2003XVII, 942 p.ill.24 cm.Lecture notes in computer science28052001Lecture notes in computer science2805SoftwareSviluppoCongressi203ARAKI,KeijiroGNESI,StefaniaMANDRIOLI,Dino<1949- >International symposium of formal methods europe <2003 ; Pisa, Italy>564420ITACBSISBD990001856680203316001 LNCS 28050030248/CBS00100114025BKSCIRIVELLI9020040716USA011035ANNAMARIA9020110418USA010944FME 2003956064UNISA