Sergio Esquembri Martínez

According to our database, Sergio Esquembri Martínez authored at least 1 paper in 2011.

Collaborative distances:

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

2011

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

Proceedings of the CSEDU 2011, 2011