Formal Methods for Open Object-Based Distributed Systems - Barthe, Gilles; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; IFIP Working Group 6.1.; Kittler, Josef (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Computer Science (Hardware & Networks)