Bruce J. Walker

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1980
Publication period end
1980
Number of co-authors
2

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J. (1980): Specification and Verification of the UCLA Unix Security Kernel. In Communications of the ACM, 23 (2) pp. 118-131.