Matthew M. Geller

Publication Statistics

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

Co-authors

Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications

Publications

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