Oleg Sychev, Nikita Penskoy, Grigory Terekhov. Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example. In Mutlu Cukurova, Nikol Rummel, Denis Gillet, Bruce M. McLaren, James Uhomoibhi, editors, Proceedings of the 14th International Conference on Computer Supported Education, CSEDU 2022, Online Streaming, April 22-24, 2022, Volume 1. pages 116-123, SCITEPRESS, 2022. [doi]
Abstract is missing.