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 | 24 | 57 |
Visitas al mes
de los últimos 6 meses
| noviembre 2024 |
|---|
| 4 |
Cantidad de accesos por país
| Visualizaciones | |
|---|---|
| Estados Unidos | 15 |
| Holanda | 4 |
| Argentina | 3 |
| Suiza | 2 |
Cantidad de accesos por ciudad
| Visualizaciones | |
|---|---|
| Ashburn | 5 |
| San Ramon | 3 |
| Fairfield | 2 |
| Boydton | 1 |
| Cambridge | 1 |
| Chicago | 1 |
| Columbus | 1 |
| Cordoba | 1 |
| Lanus | 1 |
| Miami | 1 |
| Sin datos* | 7 |
*Sin datos: En origen no se informa País o Ciudad.