Formal Methods For Open Object Based Distributed Systems 6th Ifip | Desertcart Bolivia