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,