Home › Authors › International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands) 👤 International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands) 1 book Books by International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands) Formal methods for open object-based distributed systems V 2002