- -

Estadísticas

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Estadísticas

Número total de visitas

Visualizaciones
Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura 676

Visitas al mes

mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024
Certificación Automática de Propiedades de Seguridad de código fuente Java en Lógica de Reescritura 4 4 0 0 0 0 0

Visitas al fichero

Visualizaciones
tesina Mauricio Alba-Castro.pdf 1887
136
tesina Mauricio Alba-Castro.pdf.txt 2

Países con más visualizaciones

Visualizaciones
Estados Unidos 263
Alemania 98
Francia 97
Rusia 35
China 29
Colombia 27
México 26
España 21
Perú 11
Ecuador 10

Ciudades con más visualizaciones

Visualizaciones
Redmond 50
Ashburn 43
Mountain View 32
Frankfurt 19
Beijing 16
Düsseldorf 13
Beverly Hills 11
Bogotá 11
Valencia 10
Grenoble 9