- -

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 668

Visitas al mes

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

Visitas al fichero

Visualizaciones
Feliú - Logic-based techniques for program analysis and specification synthesis.pdf 2245
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 329
España 73
China 51
Alemania 38
Francia 24
Reino Unido 13
Canadá 10
Rusia 9
Irlanda 8
Suecia 7

Ciudades con más visualizaciones

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