Author: G. L. Gressett
Publication Overview
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