Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron. Have You Found the Error? A Formal Framework for Learning Game Verification. In Christoph Rensing, Sara de Freitas, Tobias Ley, Pedro J. Muñoz Merino, editors, Open Learning and Teaching in Educational Communities - 9th European Conference on Technology Enhanced Learning, EC-TEL 2014, Graz, Austria, September 16-19, 2014, Proceedings. Volume 8719 of Lecture Notes in Computer Science, pages 476-481, Springer, 2014. [doi]
Abstract is missing.