Saúl de León Guerrero

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

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