CS Computer safety, reliability, and security: 30th international conference ; proceedings by SAFECOMP, Neapel fromLecture Notes in Computer Science 0 Type: Book