Establishing a Connection between Programming and Proof Writing.

Steve Earth

Browse the full SIGCSE paper archive.