Non−interference through determinism

Bibliographische Detailangaben
Hauptverfasser: Roscoe, A, Woodcock, J, Wulf, L
Format: Journal article
Veröffentlicht: 1996