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