Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example.

Oleg Sychev, Nikita Penskoy, Grigory Terekhov

Browse the full CSEDU paper archive.