Author: Matthew M. Geller

Publications

Publication period start: 1978

Publications

Geller, Matthew M. (1978): Test Data as an Aid in Proving Program Correctness. In Communications of the ACM, 21 (5) pp. 368-375.