Developing verification-driven learning cases

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]

Authors

Shengru Tu

This author has not been identified. Look up 'Shengru Tu' in Google

Sehun James Oh

This author has not been identified. Look up 'Sehun James Oh' in Google

Rushikesh Kale

This author has not been identified. Look up 'Rushikesh Kale' in Google

Aditya Kallem

This author has not been identified. Look up 'Aditya Kallem' in Google

Shireesha Tankashala

This author has not been identified. Look up 'Shireesha Tankashala' in Google