Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Barthe, Gilles; Boer, Frank S.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Computer Communication Networks; Software engineering; Operating systems (Computers).; Logic design; Computer Science; Computer Communication Networks; Programming Techniques; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs