Rafael del Vado Vírseda, Fernando Pérez Morente. An innovative teaching tool based on semantic tableaux for verification and debugging of programs. In Guido Rößling, Thomas L. Naps, Christian Spannagel, editors, Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011. pages 352, ACM, 2011. [doi]
Abstract is missing.