01394nam--2200385---450-99000185655020331620040716095937.03-540-20461-X000185655USA01000185655(ALEPH)000185655USA0100018565520040716d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods and software engineering5. International conference on formal engineering methods,ICFEM 2003Singapore, November 5-7, 2003proceedingsJin Song Dong, Jim Woodcock (Eds.)Berlin [etc.]Springercopyr. 2003XI, 681 p.ill.24 cmLecture notes in computer science28852001Lecture notes in computer science2885Elaboratori elettroniciProgrammazione2003Software ProgettazioneCongressi2003004.01DONG,Jin SongWOODCOCK,JimInternational conference on formal engineering methods, ICFEM 2003 <5. ; 2003 ; Singapore>564416ITCBSISBD990001856550203316001 LNCS 28850030484/CBS00100114300BKSCIRIVELLI9020040716USA010959Formal methods and software engineering956063UNISA