LEADER 01361nam--2200385---450 001 990000954620203316 005 20180312154822.0 010 $a3-540-42607-8 035 $a0095462 035 $aUSA010095462 035 $a(ALEPH)000095462USA01 035 $a0095462 100 $a20020211d2001----km-y0ITAy0103-------ba 101 0 $aENG 102 $aDE 200 1 $aComputer safety, reliability and security$e20th International conference, SAFECOMP 2001$eBudapest, Hungary, September 26-28, 2001$eproceedings$fUdo Voges (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001 215 $aXVI, 248 p.$cill.$d20 cm 225 $aLecture notes in computer science$v2187 410 $12001$aLecture notes in computer science$v2187 610 1 $aSicurezza dei dati$aCongressi$a2001 610 1 $aSoftware$aVerifica$aCongressi$a2001 676 $a005.1 702 1$aVoges,$bUdo 710 12$aInternational conference SAFECOMP 2001 <20. ; 2001 ; Budapest, Hungary>$0552554 801 0$aITA$bCBS$gISBD 912 $a990000954620203316 951 $a001 LNCS (2187)$b0027339 CBS$c001$d00110981 959 $aBK 969 $aSCI 979 $aALANDI$b90$c20020211$lUSA01$h1312 979 $c20020403$lUSA01$h1738 979 $aPATRY$b90$c20040406$lUSA01$h1706 996 $aComputer safety, reliability and security$9973381 997 $aUNISA