SOFSEM2007
Monday - Dependable Software and Systems - Connectors, Code Analysis, Assesment