Total Books: 1 - 1 /1
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Total Books: 1 - 1 /1
