Search Results - Ahrendt, W

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs

    The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs by Dennis, Louise Abigail

    Published 2004
    Other Authors: “…Ahrendt, W…”
    Get full text

Search Tools: