Author: John C. Reynolds

Publications

Publication period start: 1979

Publications

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