Matthew M. Geller
- Personal Homepage
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of publications
Geller, Matthew M. (1978): Test Data as an Aid in Proving Program Correctness. In Communications of the ACM, 21 (5) pp. 368-375.