David A. Farber
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of publications
A Model for Verification of Data Security in Operating Systems.
Communications of the ACM,