Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Reasoning about functional programs by combining interactive and automatic proofs | 157 |
Total de Visitas por Mes
| noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
|---|---|---|---|---|---|---|---|
| Reasoning about functional programs by combining interactive and automatic proofs | 0 | 0 | 0 | 1 | 0 | 0 | 2 |
Total de Descargas
| Visitas | |
|---|---|
| tesisd-sicard.pdf | 144 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 46 |
| China | 25 |
| Uruguay | 24 |
| Colombia | 16 |
| Canadá | 5 |
| Francia | 3 |
| India | 3 |
| Argentina | 2 |
| Alemania | 2 |
| Reino Unido | 2 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 24 |
| Medellín | 13 |
| Ann Arbor | 6 |
| Beijing | 6 |
| Fairfield | 5 |
| Oakland | 5 |
| Santa Clara | 4 |
| Shenyang | 4 |
| Dearborn | 3 |
| Nanjing | 3 |