Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings - Saglietti, Francesca; Oster, Norbert; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Coding theory; Logic design; Information Systems; Computer Science; Software Engineering/Programming and Operating Systems; Coding and Information Theory; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Management of Computing and Information Systems