TY - DATA AU - Saglietti,Francesca AU - Oster,Norbert ED - SpringerLink (Online service) TI - Computer Safety, Reliability, and Security: 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540751014 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Coding theory KW - Information systems KW - Logic design KW - Software engineering KW - Computer Science KW - Coding and Information Theory KW - Logics and Meanings of Programs KW - Management of Computing and Information Systems KW - Software Engineering/Programming and Operating Systems KW - Special Purpose and Application-Based Systems UR - http://dx.doi.org/10.1007/978-3-540-75101-4 ER -