Formal Methods For Open Object Based Distributed Systems 6th Ifip | Desertcart Bosnia and Herzegovina