Hardcover Book
Show unavailable items

Releases by International Conference on Formal Methods for Open Object-based Distributed Systems