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