John C. Reynolds

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1979
Publication period end
1979
Number of co-authors
0

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Reynolds, John C. (1979): Reasoning About Arrays. In Communications of the ACM, 22 (5) pp. 290-299.