Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures - Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Operating systems (Computers); Logic design; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Operating Systems