Jan Jurjens

• Proceedings of the 7th International Workshop on Software Engineering for Secure Systems