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
Automated Workarounds from Java Program Specifications based on SAT Solving 132 234

Visitas al mes

de los últimos 6 meses

enero 2024
1

Cantidad de accesos por país

Visualizaciones
Estados Unidos 62
Holanda 22
Argentina 19
Alemania 11
China 5
Rusia 3
México 2
Brasil 1
Grecia 1
India 1
Sin datos* 5

Cantidad de accesos por ciudad

Visualizaciones
Ashburn 24
Fairfield 18
Buenos Aires 9
Cambridge 7
San Ramon 7
Leopoldshafen 4
Hangzhou 3
Guaymas 2
San Diego 2
Victoria 2
Sin datos* 54

*Sin datos: En origen no se informa País o Ciudad.