Statistics
Total Visits
| Views | |
|---|---|
| Using ... | 234 |
Total Visits per Month
| March 2026 | April 2026 | May 2026 | June 2026 | July 2026 | August 2026 | September 2026 | |
|---|---|---|---|---|---|---|---|
| Using ... | 14 | 14 | 20 | 4 | 21 | 17 | 2 |
File Downloads
| Views | |
|---|---|
| CafeOBJMechaniseRefactoringProofs.pdf | 139 |
Top Country Views
| Views | |
|---|---|
| United States | 84 |
| Brazil | 43 |
| China | 17 |
| Japan | 6 |
| Argentina | 5 |
| India | 4 |
| Iraq | 4 |
| Mexico | 4 |
| Bangladesh | 3 |
| Chile | 3 |
Top City Views
| Views | |
|---|---|
| Curitiba | 6 |
| Nanjing | 5 |
| San Ramon | 5 |
| Beijing | 4 |
| Costa Mesa | 4 |
| Aracaju | 3 |
| Dearborn | 3 |
| Englewood | 3 |
| Tokyo | 3 |
| Ann Arbor | 2 |