Search for persons
X
?
1979 International Workshop on Managing Requirements Knowledge (MARK) ,
4
The foundations of a provably secure operating system (PSOS:
, In:
?
Proceedings of the 2nd international conference on Software engineering ,
5
Software development and proofs of multi-level security:
, In:
?
7
, In:
Logistics Milestones : Englisch für Speditions- und Logist..:
,Copies:
TB Nautik Na Fei 2 (2011)