Dennis, L. A., & Ahrendt, W. (2004). The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs.
Chicago Style (17th ed.) CitationDennis, Louise Abigail, and W. Ahrendt. The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs. 2004.
MLA (9th ed.) CitationDennis, Louise Abigail, and W. Ahrendt. The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs. 2004.
Warning: These citations may not always be 100% accurate.