Teaching formal programming to first year computer science students.

Henry McLoughlin, Kevin Hely

Browse the full SIGCSE paper archive.