James H. Fetzer

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1988
Publication period end
1988
Number of co-authors
0

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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