- -

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
Static Correction of Maude Programs with Assertions 332

Visitas al mes

septiembre 2024 octubre 2024 noviembre 2024 diciembre 2024 enero 2025 febrero 2025 marzo 2025
Static Correction of Maude Programs with Assertions 0 0 0 1 6 4 1

Visitas al fichero

Visualizaciones
Static Correction of Maude Programs with Assertions.pdf 418

Países con más visualizaciones

Visualizaciones
Estados Unidos 200
España 28
China 24
Francia 15
Suecia 8
Alemania 7
Holanda 6
Irlanda 5
Rusia 5
Canadá 4

Ciudades con más visualizaciones

Visualizaciones
Ashburn 50
Boardman 39
Valencia 19
Louisville 14
Grenoble 13
San Mateo 11
Alameda 8
Beijing 7
Mountain View 6
Dublin 5