Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 (WG6.1) Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology

Bart Jacobs , Arend Rensink