Non−interference through determinism

书目详细资料
Main Authors: Roscoe, A, Woodcock, J, Wulf, L
格式: Journal article
出版: 1996