This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09).
CWI
Software Engineering [SEN]
Computer Security

Sun, M.& Schatz, B. (2009). Formal aspects of component software. In Software Engineering [SEN] (SEN-E0902). CWI.