01468nam--2200397---450 99000110911020331620180312154616.03-540-43166-7000110911USA01000110911(ALEPH)000110911USA0100011091120021129d2002----km-y0ITAy0103-------baENGDEZB 2002: Formal specification and development in Z and B2th International conference of B and Z usersGrenoble,France,January, 2002proceedingsDidier Bert... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2002XII,533 p.ill.20 cmLecture notes in computer science22722001Lecture notes in computer science2272Linguaggio BCongressi2002Linguaggio ZCongressi2002005.133Bert,DidierInternational conference of B and Z users <2.; 2002 ; Grenoble ; France>554382ITACBSISBD990001109110203316001 LNCS (2272)0026767 CBS00100112134BKSCIDIGIUSEPPE9020021129USA010920DIGIUSEPPE9020021129USA011311DIGIUSEPPE9020021202USA011016PATRY9020040406USA011717ZB 2002: Formal specification and development in Z and B981187UNISA