Non−interference through determinism

Bibliografiska uppgifter
Huvudupphovsmän: Roscoe, A, Woodcock, J, Wulf, L
Materialtyp: Journal article
Publicerad: 1996