Active learning sheets for a beginner's course on reasoning about imperative programs.

Kung-Kiu Lau

Browse the full SIGCSE paper archive.