Formal Aspects of Component Software

This book constitutes the refereed proceedings of the 20th International Conference on Formal Asp...