Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Springer Berlin Heidelberg, 2008)
Keywords: Computer Science; Logics and Meanings of Programs; Operating Systems; Programming Languages, Compilers, Interpreters; Software Engineering; Software Engineering/Programming and Operating Systems