Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy

Marianne Simonot, M. Homps, P. Bonnot. Teaching Abstraction in Mathematics and Computer Science - A Computer-supported Approach with Alloy. In Markus Helfert, Maria João Martins, José Cordeiro, editors, CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April, 2012. pages 239-245, SciTePress, 2012.

Abstract

Abstract is missing.