| 1995 | ||
|---|---|---|
| j1 | Frank Ng, Gregory Butler, Judy Kay: An Intelligent Tutoring System for the Dijkstra-Gries Methodology. IEEE Trans. Software Eng. 21(5): 415-428 (1995) | |
| 1993 | ||
| c1 | Frank Ng, Gregory Butler: Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. ICCI 1993: 294-298 | |
| 1 | Gregory Butler (Greg Butler) | |
| 2 | Judy Kay |
Data released under the ODC-BY 1.0 license — See also our legal information page