Statistics
Total Visits
| Views | |
|---|---|
| Formal ... | 101 |
Total Visits Per Month
| March 2024 | April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | |
|---|---|---|---|---|---|---|---|
| Formal ... | 3 | 4 | 2 | 0 | 7 | 17 | 4 |
File Visits
| Views | |
|---|---|
| Formal Reasoning about Efficient Data Structures.pdf | 38 |
Top country views
| Views | |
|---|---|
| United States | 44 |
| China | 10 |
| Germany | 10 |
| Singapore | 8 |
| United Kingdom | 7 |
| Netherlands | 6 |
| South Korea | 3 |
| Austria | 2 |
| India | 2 |
| Poland | 2 |
Top cities views
| Views | |
|---|---|
| Des Moines | 3 |
| Guangzhou | 3 |
| New Castle | 3 |
| Redwood City | 3 |
| Santa Clara | 3 |
| Shenzhen | 3 |
| Ashburn | 2 |
| New York | 2 |
| Oakland | 2 |
| Shenyang | 2 |