Formal Methods For Open Object Based Distributed Systems 8th Ifip | Desertcart Greece