David Ginat. Embedding instructive assertions in program design. In Roger D. Boyle, Martyn Clark, Amruth Kumar, editors, Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2004, Leeds, UK, June 28-30, 2004. pages 62-66, ACM, 2004. [doi]
Abstract is missing.