12th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems
Amsterdam, Netherlands, 7-9 June 2010