- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
Abstract Contract Synthesis and Verification in the Symbolic K Framework 485

Visitas al mes

mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024 octubre 2024 noviembre 2024
Abstract Contract Synthesis and Verification in the Symbolic K Framework 7 5 7 14 7 4 8

Visitas al fichero

Visualizaciones
Specs-Base.pdf 335

Países con más visualizaciones

Visualizaciones
Estados Unidos 215
España 61
Suecia 47
China 42
Irlanda 21
Alemania 20
Francia 14
Finlandia 7
Reino Unido 6
Holanda 6

Ciudades con más visualizaciones

Visualizaciones
Ashburn 40
Boardman 34
Valencia 34
Louisville 22
San Mateo 22
Dublin 20
Beijing 12
Grenoble 12
Alameda 11
Mountain View 9