Bruce J. Walker

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Specification and verification of the UCLA unix security kernel

Bruce J. Walker and others (1980) · Commun. ACM

Specification and verification of the UCLA Unix security kernel

Bruce J. Walker and others (1979) · SOSP ’79: Proceedings of the seventh ACM symposium on Operating systems principles