Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course.

Alan D. Fekete

Browse the full SIGCSE paper archive.