Home›Books›International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands)No biography available.No works found.