Non−interference through determinism

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Roscoe, A, Woodcock, J, Wulf, L
Ձևաչափ: Journal article
Հրապարակվել է: 1996