Hello RG community,

I am looking for the content of a paper entitled "An Experimental Analysis of Program Verification Problem Solving Capabilities as They Relate to Programmer Efficiency" by Hetzel 1972. I would like to know whether some of you have read it, and where is possible to get access to this text.

Kinds,

More Omar S. Gómez's questions See All
Similar questions and discussions