G. L. Gressett

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1963
Publication period end
1963
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Weinberg, Gerald M., Gressett, G. L. (1963): An experiment in automatic verification of programs. In Communications of the ACM, 6 (10) pp. 610-613. http://doi.acm.org/10.1145/367651.367660