Estadísticas de visualización y descarga
Número total de visitas
desde el momento de su depósito en el Repositorio CONICET Digital
| Título | Visualizaciones | Descargas |
|---|---|---|
| SteelCore: An extensible concurrent separation logic for effectful dependently typed programs | 136 | 110 |
Visitas al mes
de los últimos 6 meses
| mayo 2025 | junio 2025 | julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 |
|---|---|---|---|---|---|---|
| 11 | 27 | 8 | 6 | 4 | 8 | 9 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 100 |
| Suiza | 11 |
| Holanda | 8 |
| Argentina | 4 |
| Brasil | 3 |
| Alemania | 3 |
| Bolivia | 1 |
| Canadá | 1 |
| Chile | 1 |
| Finlandia | 1 |
| Sin datos* | 3 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Ashburn | 27 |
| Boydton | 12 |
| Columbus | 4 |
| San Ramon | 3 |
| Fairfield | 2 |
| Groningen | 2 |
| Inglewood | 2 |
| Lanus | 2 |
| Seattle | 2 |
| Cambridge | 1 |
| Sin datos* | 79 |
*Sin datos: En origen no se informa País o Ciudad.