Author: G. L. Gressett
Publications
Publication period start: 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. https://dl.acm.org/doi/10.1145/367651.367660