Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers - Kaklamanis, Christos; Nielson, Flemming; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer Communication Networks; Software engineering; Data protection; Logic design; Computer Science; Software Engineering; Computer Communication Networks; Programming Techniques; Systems and Data Security; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs