Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs: New

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1...

Formal Methods for Open Object-Based Distributed Systems V by Bart Jacobs (Engli

IFIP: Formal Methods for Open Object-Based Distributed Systems IV by S Smith HC

Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini (En

Formal Methods for Open Object-Based Distributed Systems : 6th Ifip Wg 6.1 In...

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inter