Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.

Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak

Browse the full ITiCSE paper archive.