Eva Pilar Orna

According to our database, Eva Pilar Orna authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2011

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

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011