B. du Boulay;C. Sothcott
Univ. of Sussex, Brighton, UK;Univ. of Sussex, Brighton, UK
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
IEEE Transactions on Software Engineering