John C. Reynolds
- 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
Reynolds, John C. (1979): Reasoning About Arrays. In Communications of the ACM, 22 (5) pp. 290-299.