Statistics

Total Visits

Views
Using ... 131

Total Visits per Month

May 2025 June 2025 July 2025 August 2025 September 2025 October 2025 November 2025
Using ... 6 8 9 78 13 2 6

File Downloads

Views
CafeOBJMechaniseRefactoringProofs.pdf 15

Top Country Views

Views
United States 40
Brazil 32
China 6
Iraq 4
Bangladesh 3
Ecuador 3
Iran 3
Mexico 3
South Africa 3
Argentina 2

Top City Views

Views
Costa Mesa 4
Aracaju 3
Beijing 3
Englewood 3
Durham 2
Hangzhou 2
Louisville 2
Ararangua 1
Asbest 1
Ashburn 1