Login / Signup
Eva Pilar Orna
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)