Introducing Proofs of a Program's Termination in an Undergraduate Software Engineering Course.

Chia-Chu Chiang

Browse the full SMC paper archive.