Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures - FMCO 2008 (2008 : Sophia Antipolis, France); Boer, Frank S de.; Madelaine, Eric.; Bonsangue, Marcello M.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Object-oriented programming (Computer science) -- Congresses; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Operating Systems; Software Engineering; Software Engineering/Programming and Operating Systems; Computer Science