Correct Dynamic Service Oriented Architectures Modeling and Compositional Verification with Dynamic Collaborations

Deep cut – we couldn't find a description for this book.