- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

Views
Debugging Maude programs via runtime assertion checking and trace slicing 85

Total Visits Per Month

December 2018 January 2019 February 2019 March 2019 April 2019 May 2019 June 2019
Debugging Maude programs via runtime assertion checking and trace slicing 0 8 5 12 8 6 5

File Visits

Views
JLAMP2016-editor.pdf 2
1

Top country views

Views
United States 44
France 16
Germany 11
China 4
Spain 4
Italy 3
Canada 2
Norway 1

Top cities views

Views
Ashburn 27
Grenoble 8
Boardman 7
Arezzo 3
Beijing 3
Valencia 3
Villeurbanne 3
Montréal 2
Mountain View 2
Albacete 1