Can anyone (who is involved with software verification research) provide me suggestions of how can I find the paper of Hetzel (1972)?

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...

26 July 2015 4,712 1 View