Teaching loop invariants to beginners by examples

Wing C. Tam. Teaching loop invariants to beginners by examples. In Nell B. Dale, editor, Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, 1992, Kansas City, Missouri, USA, March 5-6, 1992. pages 92-96, ACM, 1992. [doi]

Abstract

Abstract is missing.