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]
@inproceedings{Lau07:0,
title = {Active learning sheets for a beginner s course on reasoning about imperative programs},
author = {Kung-Kiu Lau},
year = {2007},
doi = {10.1145/1227310.1227382},
url = {http://doi.acm.org/10.1145/1227310.1227382},
researchr = {https://researchr.org/publication/Lau07%3A0},
cites = {0},
citedby = {0},
pages = {198-202},
booktitle = {Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007},
editor = {Ingrid Russell and Susan M. Haller and J. D. Dougherty and Susan H. Rodger},
publisher = {ACM},
isbn = {1-59593-361-1},
}