An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results.

Rafael del Vado Vrseda, Fernando Prez Morente, Sergio Esquembri Martnez

Browse the full CSEDU paper archive.