Springer
M.M. Bonsangue (Marcello) , E.B. Johnsen (Einar Broch)
Lecture Notes in Computer Science
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Computer Security

Bonsangue, M., & Johnsen, E. B. (Eds.). (2007). Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. In M. Bonsangue & E. B. Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Springer.