Author: Bruce J. Walker
Publications
Publication period start: 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.