Author: John C. Reynolds
Publication Overview
Publication period start: 1979
Publications
Reynolds,
John C.
(1979):
Reasoning About Arrays.
In
Communications of the ACM,
22
(5)
pp. 290-299.