- -

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 641

Visitas al mes

junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024 diciembre 2024
Logic-based techniques for program analysis and specification synthesis 3 1 0 0 0 0 2

Visitas al fichero

Visualizaciones
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf 2173
INDICE TESIS.pdf 309
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf.jpg 193
RESUMEN CASTELLANO.pdf 68
SUMMARY ENGLISH.pdf 62
RESUM VALENCIA.pdf 51
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 317
España 71
China 50
Alemania 37
Francia 24
Reino Unido 13
Canadá 10
Rusia 9
Suecia 7
Irlanda 5

Ciudades con más visualizaciones

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