Statistics for Exploiting replication in automated program verification
Total visits
| views | |
|---|---|
| Exploiting replication in automated program verification | 449 |
Total visits per month
| views | |
|---|---|
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
| June 2024 | 0 |
| July 2024 | 1 |
| August 2024 | 0 |
| September 2024 | 0 |
File Visits
| views | |
|---|---|
| wahlt89260.pdf(legacy) | 214 |
| wahlt89260.pdf | 108 |
| license.txt(legacy) | 68 |
| wahlt89260.txt(legacy) | 1 |
| wahlt89260_jhove.xml(legacy) | 1 |
| 16994 | 1 |
Top country views
| views | |
|---|---|
| United States | 279 |
| China | 85 |
| Japan | 32 |
| South Korea | 31 |
| France | 27 |
| United Kingdom | 15 |
| Germany | 9 |
| Iran | 5 |
| Netherlands | 5 |
| Canada | 4 |
| Russia | 3 |
| Ukraine | 3 |
| Ireland | 2 |
| Austria | 1 |
| Czechia | 1 |
| India | 1 |
| Italy | 1 |
| Malaysia | 1 |
| Philippines | 1 |
| Romania | 1 |
| Sweden | 1 |
| Singapore | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 50 |
| Miami | 45 |
| Beijing | 33 |
| Beverly Hills | 32 |
| Seoul | 19 |
| Sunnyvale | 12 |
| Santa Clara | 11 |
| Palo Alto | 9 |
| Fort Lauderdale | 8 |
| Jacksonville | 6 |
| Milton Keynes | 5 |
| Tianjin | 5 |
| Zhengzhou | 5 |
| Ann Arbor | 4 |
| Austin | 3 |
| Council Bluffs | 3 |
| Mountain View | 3 |
| Philadelphia | 3 |
| Shanghai | 3 |
| Tokyo | 3 |
| Changsha | 2 |
| Des Moines | 2 |
| Dublin | 2 |
| Midvale | 2 |
| Redmond | 2 |
| Redwood City | 2 |
| Salaberry-de-Valleyfield | 2 |
| Shenzhen | 2 |
| State College | 2 |
| Tehran | 2 |
| Bengaluru | 1 |
| Blanco | 1 |
| Boston | 1 |
| Chongqing | 1 |
| Coral Gables | 1 |
| Frankfurt am Main | 1 |
| Fredericksburg | 1 |
| Hangzhou | 1 |
| Houston | 1 |
| Jinan | 1 |
| Lake Forest | 1 |
| Madison | 1 |
| Mcallen | 1 |
| Montpellier | 1 |
| Nanaimo | 1 |
| Nanchang | 1 |
| Nuremberg | 1 |
| Olalla | 1 |
| Petaling Jaya | 1 |
| Quebec | 1 |
| Seattle | 1 |
| Singapore | 1 |
| Stockholm | 1 |
| Vladivostok | 1 |
| Woodbridge | 1 |
| Yekaterinburg | 1 |
| Zaporozhye | 1 |