- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
Logic-based techniques for program analysis and specification synthesis 632

Visitas al mes

noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024 mayo 2024
Logic-based techniques for program analysis and specification synthesis 8 10 10 10 5 14 0

Visitas al fichero

Visualizaciones
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf 2146
INDICE TESIS.pdf 307
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf.jpg 193
RESUMEN CASTELLANO.pdf 65
SUMMARY ENGLISH.pdf 61
RESUM VALENCIA.pdf 47
RESUMEN CASTELLANO.pdf.jpg 12
SUMMARY ENGLISH.pdf.jpg 12
INDICE TESIS.pdf.jpg 12
RESUM VALENCIA.pdf.jpg 11

Países con más visualizaciones

Visualizaciones
Estados Unidos 314
España 71
China 48
Alemania 37
Francia 23
Reino Unido 13
Canadá 10
Rusia 9
Suecia 7
Irlanda 5

Ciudades con más visualizaciones

Visualizaciones
Ashburn 146
Redmond 22
Valencia 19
Beijing 14
San Mateo 12
Boardman 11
Mountain View 9
Los Angeles 8
Montréal 8
Grenoble 7