Non−interference through determinism

Detalles Bibliográficos
Autores principales: Roscoe, A, Woodcock, J, Wulf, L
Formato: Journal article
Publicado: 1996