Merkliste 
 1 Ergebnisse 
 
1

Formal derivation of security design specifications from se..:

, In: Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead,