Kung-Kiu Lau. Active learning sheets for a beginner s course on reasoning about imperative programs. In Ingrid Russell, Susan M. Haller, J. D. Dougherty, Susan H. Rodger, editors, Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007. pages 198-202, ACM, 2007. [doi]
Abstract is missing.