- -

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 661

Visitas al mes

abril 2024 mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024
Logic-based techniques for program analysis and specification synthesis 14 3 3 5 2 11 5

Visitas al fichero

Visualizaciones
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf 2228
INDICE TESIS.pdf 315
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf.jpg 193
RESUMEN CASTELLANO.pdf 78
SUMMARY ENGLISH.pdf 69
RESUM VALENCIA.pdf 55
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 327
España 73
China 51
Alemania 37
Francia 24
Reino Unido 13
Canadá 10
Rusia 9
Suecia 7
Irlanda 5

Ciudades con más visualizaciones

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