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.