An innovative teaching tool based on semantic tableaux for verification and debugging of programs.

Rafael del Vado Vrseda, Fernando Prez Morente

Browse the full ITiCSE paper archive.