Name
Title | ||
|---|---|---|
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. |
Year | Venue | Field |
|---|---|---|
2011 | CSEDU (2) | Programming language,Computer science,Algorithmic program debugging,Debugging |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rafael del Vado V́ırseda | 1 | 97 | 13.26 |
| Fernando Pérez Morente | 2 | 0 | 2.03 |
| Sergio Esquembri Martínez | 3 | 0 | 0.34 |