01595nam--2200457---450 99000184087020331620180312154615.03-540-20126-2000184087USA01000184087(ALEPH)000184087USA0100018408720040712d2003----km-y0ITAy0103-------baengDEa|||||||001yyComputer safety, reliability and security22. International conference, SAFECOMP 2003Edinburgh, UK, September 2003proceedingsStuart Anderson, Massimo Felici, Bev Littlewood (Eds.)Berlin [etc.]Springercopyr. 2003XIX, 426 p.ill.20 cmLecture notes in computer science27882001Lecture notes in computer science27882001001-------2001Sicurezza dei datiCongressi2003SoftwareVerificaCongressi2003005.1ANDERSON,StuartFELICI,MassimoLITTLEWOOD,BevInternational conference SAFECOMP <22. ; 2003 ; Edinburgh>564207ITACBSISBD990001840870203316001 LNCS 27880030221/CBS00100114085BKSCIRIVELLI9020040712USA010912RIVELLI9020040712USA010914RIVELLI9020040712USA010917RIVELLI9020040712USA010917Computer safety, reliability and security949779UNISA