1995 | ||
---|---|---|
2 | EE | 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 | ||
1 | 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) | [1] [2] |
2 | Judy Kay | [2] |