Merkliste 
 1 Ergebnisse 
 
1

Formal Z Specifications of Several Flat Role-Based Access C..:

, In: 2006 30th Annual IEEE/NASA Software Engineering Workshop,