Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

Views
Reverse engineering from assembler to formal specifications via program transformations 300

Total Visits Per Month

October 2017 November 2017 December 2017 January 2018 February 2018 March 2018 April 2018
Reverse engineering from assembler to formal specifications via program transformations 5 8 0 0 8 3 4

File Visits

Views
wcre2000-t.pdf 149
wcre2000-t.ps 45
wcre2000-t.pdf.txt 4
license.txt 1

Top country views

Views
United States 88
South Korea 29
United Kingdom 19
China 14
Germany 10
France 10
Russia 9
Netherlands 8
Philippines 8
Ukraine 8

Top cities views

Views
Seoul 25
Mountain View 18
Washington 11
Cebu City 8
Moscow 8
Shenzhen 8
Beijing 5
Kraków 5
Haarlemmermeer 4
Amsterdam 3