Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Reasoning about functional programs by combining interactive and automatic proofs | 224 |
Total de Visitas por Mes
| julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | |
|---|---|---|---|---|---|---|---|
| Reasoning about functional programs by combining interactive and automatic proofs | 6 | 1 | 3 | 2 | 6 | 2 | 16 |
Total de Descargas
| Visitas | |
|---|---|
| tesisd-sicard.pdf | 173 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 60 |
| Uruguay | 30 |
| China | 28 |
| Canadá | 21 |
| Colombia | 16 |
| Japón | 6 |
| Suecia | 5 |
| España | 4 |
| Reino Unido | 4 |
| Argentina | 3 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 30 |
| Ottawa | 16 |
| Medellín | 13 |
| Ann Arbor | 6 |
| Beijing | 6 |
| Fairfield | 5 |
| Mountain View | 5 |
| Oakland | 5 |
| Santa Clara | 4 |
| Shenyang | 4 |