- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Modelado y verificación de programas Event-B usando Maude 181

Total Visits Per Month

July 2019 August 2019 September 2019 October 2019 November 2019 December 2019 January 2020
Modelado y verificación de programas Event-B usando Maude 5 1 4 0 8 7 1

File Visits

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

Top country views

Views
United States 60
Colombia 29
France 17
China 15
Spain 12
Ecuador 11
Germany 7
Singapore 6
United Kingdom 5
Ireland 3

Top cities views

Views
Ashburn 16
Quito 9
Bogota 7
Fremont 7
Cali 6
Changi 6
Valencia 6
Villeurbanne 6
Dublin 3
Grenoble 3