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]
No references recorded for this publication.
No citations of this publication recorded.