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

Marianne Simonot, M. Homps, Philippe Bonnot

Browse the full CSEDU paper archive.