Electronic Notes in Theoretical Computer Science, Volume 215

Volume 215, June 2008

Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics