- -

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 226

Visitas al mes

octubre 2023 noviembre 2023 diciembre 2023 enero 2024 febrero 2024 marzo 2024 abril 2024
Abstract Contract Synthesis and Verification in the Symbolic K Framework 10 10 16 5 12 1 6

Visitas al fichero

Visualizaciones
Alpuente;Pardo;Villanueva - Abstract Contract Synthesis and Verification in the Symbolic K Framew....pdf 179
1

Países con más visualizaciones

Visualizaciones
Estados Unidos 74
España 37
Canadá 12
Francia 10
China 7
Alemania 7
Irlanda 5
Rusia 5
Reino Unido 3
Irán 3

Ciudades con más visualizaciones

Visualizaciones
Valencia 22
San Mateo 12
Alameda 8
Ashburn 8
Louisville 7
Hangzhou 6
Houston 6
Grenoble 5
Madrid 5
Mountain View 5