Merkliste 
 1 Ergebnisse 
 
1

Model-based security analysis of feature-oriented software ..:

, In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,