Statistics

De Montfort University Open Research Archive

Statistics

Total Visits

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

Total Visits Per Month

September 2014 October 2014 November 2014 December 2014 January 2015 February 2015 March 2015
Reverse engineering from assembler to formal specifications via program transformations 1 1 0 0 2 0 1

File Visits

Views
wcre2000-t.pdf 80
wcre2000-t.ps 39
wcre2000-t.pdf.txt 4
license.txt 1

Top country views

Views
United States 70
South Korea 25
United Kingdom 9
Russia 9
Philippines 8
Ukraine 8
France 5
Netherlands 5
Denmark 4
India 4

Top cities views

Views
Seoul 25
Mountain View 18
Washington 11
Cebu City 8
Moscow 8
Haarlemmermeer 4
Leicester 3
Manchester 2
Paris 2
Støvring 2