01361nam--2200385---450 99000095462020331620180312154822.03-540-42607-80095462USA010095462(ALEPH)000095462USA01009546220020211d2001----km-y0ITAy0103-------baENGDEComputer safety, reliability and security20th International conference, SAFECOMP 2001Budapest, Hungary, September 26-28, 2001proceedingsUdo Voges (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001XVI, 248 p.ill.20 cmLecture notes in computer science21872001Lecture notes in computer science2187Sicurezza dei datiCongressi2001SoftwareVerificaCongressi2001005.1Voges,UdoInternational conference SAFECOMP 2001 <20. ; 2001 ; Budapest, Hungary>552554ITACBSISBD990000954620203316001 LNCS (2187)0027339 CBS00100110981BKSCIALANDI9020020211USA01131220020403USA011738PATRY9020040406USA011706Computer safety, reliability and security973381UNISA