- -

Estadísticas

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

Desde el lunes 3 y hasta el jueves 20 de marzo, RiuNet funcionará en modo de solo lectura a causa de su actualización a una nueva versión.

Estadísticas

Número total de visitas

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

Visitas al mes

septiembre 2024 octubre 2024 noviembre 2024 diciembre 2024 enero 2025 febrero 2025 marzo 2025
Abstract Contract Synthesis and Verification in the Symbolic K Framework 0 0 0 1 14 2 1

Visitas al fichero

Visualizaciones
Specs-Base.pdf 322

Países con más visualizaciones

Visualizaciones
Estados Unidos 206
España 61
Suecia 47
China 37
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
Dublin 20
San Mateo 16
Grenoble 12
Alameda 11
Houston 11
Beijing 10