Non−interference through determinism

書目詳細資料
Main Authors: Roscoe, A, Woodcock, J, Wulf, L
格式: Journal article
出版: 1996