Statistics for Analysis and Enforcement of Properties in Software Systems
Total visits
| views | |
|---|---|
| Analysis and Enforcement of Properties in Software Systems | 289 |
Total visits per month
| views | |
|---|---|
| July 2024 | 2 |
| August 2024 | 2 |
| September 2024 | 1 |
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
File Visits
| views | |
|---|---|
| Wu_M_D_2019.pdf | 800 |
Top country views
| views | |
|---|---|
| United States | 139 |
| China | 28 |
| France | 21 |
| Germany | 20 |
| Canada | 10 |
| Hong Kong SAR China | 8 |
| Russia | 6 |
| Belgium | 5 |
| Sweden | 4 |
| Finland | 3 |
| Ireland | 3 |
| India | 3 |
| Japan | 3 |
| United Kingdom | 2 |
| Malaysia | 2 |
| Peru | 2 |
| Taiwan | 2 |
| Vietnam | 2 |
| Austria | 1 |
| Australia | 1 |
| Denmark | 1 |
| Hungary | 1 |
| Jordan | 1 |
| South Korea | 1 |
| Netherlands | 1 |
| New Zealand | 1 |
| Pakistan | 1 |
| Poland | 1 |
| Portugal | 1 |
| Romania | 1 |
| Seychelles | 1 |
| Singapore | 1 |
| Tunisia | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 35 |
| Reston | 31 |
| Beijing | 9 |
| Los Angeles | 9 |
| Toronto | 7 |
| Central | 6 |
| Blacksburg | 5 |
| Leuven | 5 |
| Novosibirsk | 4 |
| Winston-Salem | 4 |
| Boardman | 3 |
| Brooklyn | 3 |
| Dublin | 3 |
| Montreal | 3 |
| San Jose | 3 |
| Sterling | 3 |
| Atlanta | 2 |
| Berlin | 2 |
| Castro Valley | 2 |
| Centreville | 2 |
| Changsha | 2 |
| Des Moines | 2 |
| Hanoi | 2 |
| Mumbai | 2 |
| Old Bridge | 2 |
| Palo Alto | 2 |
| Petaling Jaya | 2 |
| Pittsburgh | 2 |
| San Mateo | 2 |
| Shanghai | 2 |
| Vladivostok | 2 |
| Zhengzhou | 2 |
| Aarhus | 1 |
| Bengaluru | 1 |
| Bochum | 1 |
| Boston | 1 |
| Braga | 1 |
| Bromley | 1 |
| Charleston | 1 |
| Chongqing | 1 |
| Djemmal | 1 |
| Graz | 1 |
| Hangzhou | 1 |
| Houston | 1 |
| Invercargill | 1 |
| Kaohsiung City | 1 |
| Karachi | 1 |
| Ludwigshafen am Rhein | 1 |
| Munich | 1 |
| Needham | 1 |
| Ningbo | 1 |
| North Hollywood | 1 |
| Osaka | 1 |
| Paris | 1 |
| Potomac | 1 |
| Putian | 1 |
| Rennes | 1 |
| Roseville | 1 |
| Saarlouis | 1 |
| San Diego | 1 |
| Santa Cruz | 1 |
| Seattle | 1 |
| Shaoguan | 1 |
| Shenzhen | 1 |
| Sibiu | 1 |
| Singapore | 1 |
| Stockholm | 1 |
| Sydney | 1 |
| Talence | 1 |
| Tokyo | 1 |
| Walnut Creek | 1 |
| Warsaw | 1 |