Shengru Tu, Sehun James Oh, Rushikesh Kale, Aditya Kallem, Shireesha Tankashala. Developing verification-driven learning cases. In Reyyan Ayfer, John Impagliazzo, Cary Laxer, editors, Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010. pages 58-62, ACM, 2010. [doi]
Abstract is missing.