Author: James H. Fetzer

Publications

Publication period start: 1988

Publications

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