- -

Estadísticas

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

Estadísticas

Número total de visitas

Visualizaciones
Modelado y verificación de programas Event-B usando Maude 448

Visitas al mes

marzo 2024 abril 2024 mayo 2024 junio 2024 julio 2024 agosto 2024 septiembre 2024
Modelado y verificación de programas Event-B usando Maude 9 13 8 3 10 9 3

Visitas al fichero

Visualizaciones
-RUIZ - Modelado y verificación de programas Event-B usando Maude.pdf 721
1

Países con más visualizaciones

Visualizaciones
Estados Unidos 125
Colombia 44
España 38
Alemania 25
Irlanda 25
China 22
Francia 22
Ecuador 16
Rusia 14
México 13

Ciudades con más visualizaciones

Visualizaciones
Ashburn 17
Southport 14
Quito 12
Valencia 11
Bogota 8
Cali 8
Changi 8
Dublin 8
Fremont 7
Mountain View 7