Danijela Petrovic. Using Small-Step Refinement For Algorithm Verification In Computer Science Education. In Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt, editors, Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. Volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]
Abstract is missing.