Hetzel, W. C. (1976). An experimental analysis of program verification methods ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Hetzel, William C. An Experimental Analysis of Program Verification Methods. [Mikrofiche-Ausg.]. 1976.
MLA-Zitierstil (9. Ausg.)Hetzel, William C. An Experimental Analysis of Program Verification Methods. [Mikrofiche-Ausg.]. 1976.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.