A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. - Rafael del Vado Vírseda; Eva Pilar Orna; Eduardo Berbis; Saúl de León Guerrero (TICTTL, 2011)

TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience. - Rafael del Vado Vírseda; Fernando Pérez Morente; Eduardo Berbis González (CSEDU (2), 2012)