Formal Methods for Components and Objects

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...