- -

Statistics

RiuNet: Institutional repository of the Polithecnic University of Valencia

Statistics

Total Visits

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

Total Visits Per Month

February 2019 March 2019 April 2019 May 2019 June 2019 July 2019 August 2019
Debugging Maude programs via runtime assertion checking and trace slicing 5 12 8 6 10 7 4

File Visits

Views
JLAMP2016-editor.pdf 2
1

Top country views

Views
United States 54
France 18
Germany 11
China 8
Spain 4
Italy 3
Canada 2
Norway 1

Top cities views

Views
Ashburn 35
Grenoble 8
Boardman 7
Arezzo 3
Beijing 3
Valencia 3
Villeurbanne 3
Hebei 2
Montréal 2
Mountain View 2