Formal Methods For Open Object Based Distributed Systems Ifip Tc6 | Desertcart SINGAPORE
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)
