Michele Boreale Books
Formal Techniques for Distributed Systems
By Dirk Beyer, Michele Boreale
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 In...
Read More