Introducing Proofs of a Program's Termination in an Undergraduate Software Engineering Course | IEEE Conference Publication | IEEE Xplore