Author: James H. Fetzer
Publication Overview
Publication period start: 1988
Publications
Fetzer,
James H.
(1988):
Program Verification: The Very Idea.
In
Communications of the ACM,
31
(9)
pp. 1048-1063.