Name
Title | ||
|---|---|---|
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio |
Year | Venue | DocType |
|---|---|---|
2007 | JIISIC | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| J. Santiago Jorge | 1 | 6 | 3.31 |
| Víctor M. Gulías | 2 | 9 | 8.03 |
| Laura M. Castro | 3 | 50 | 10.39 |