Robert M. Keller
- Personal Homepage
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of publications
Keller, Robert M. (1976): Formal Verification of Parallel Programs. In Communications of the ACM, 19 (7) pp. 371-384.