- -

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 246

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 4 5 3 2 3 3 0
Visitas al fichero
Visualizaciones
Alpuente;Pardo;Villanueva - Abstract Contract Synthesis and Verification in the Symbolic K Framew....pdf 219
1

Países con más visualizaciones

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

Ciudades con más visualizaciones

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