Merkliste 
 1 Ergebnisse 
 
1

Model-based privacy and security analysis with CARiSMA:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,