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. Software Engineering [SEN]. CWI.