An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. - Rafael del Vado Vírseda; Fernando Pérez Morente; Sergio Esquembri Martínez (CSEDU (2), 2011)

An innovative teaching tool based on semantic tableaux for verification and debugging of programs. - Rafael del Vado Vírseda; Fernando Pérez Morente (ITiCSE, 2011)

A modular semantics for higher-order declarative programming with constraints. - Rafael del Vado Vírseda; Fernando Pérez Morente (PPDP, 2011)

An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs. - Rafael del Vado Vírseda; Fernando Pérez Morente (ICCS, 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)

A Concurrent Operational Semantics for Constraint Functional Logic Programming. - Rafael del Vado Vírseda; Fernando Pérez Morente; Marcos Miguel García Toledo (ICLP (Technical Communications), 2012)

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. - Rafael del Vado Vírseda; Fernando Pérez Morente (ICCS, 2012)