- -

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 627

Visitas al mes

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

Visitas al fichero

Visualizaciones
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf 2135
INDICE TESIS.pdf 302
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf.jpg 193
RESUMEN CASTELLANO.pdf 65
SUMMARY ENGLISH.pdf 59
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 311
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