A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano, editors, Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Volume 6680 of Lecture Notes in Computer Science, pages 239-248, Springer, 2011. [doi]

This author has not been identified. Look up 'Rafael del Vado Vírseda' in GoogleThis author has not been identified. Look up 'Eva Pilar Orna' in GoogleThis author has not been identified. Look up 'Eduardo Berbis' in GoogleThis author has not been identified. Look up 'Saúl de León Guerrero' in Google

runs on WebDSL