Statistics for Environment modeling using runtime values for JPF-Android
Total visits
| views | |
|---|---|
| Environment modeling using runtime values for JPF-Android | 203 |
Total visits per month
| views | |
|---|---|
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
| May 2025 | 0 |
| June 2025 | 0 |
File Visits
| views | |
|---|---|
| Van der Merwe_16573_2015.pdf | 82 |
Top country views
| views | |
|---|---|
| United States | 74 |
| Austria | 16 |
| South Africa | 16 |
| China | 15 |
| Germany | 14 |
| Russia | 11 |
| Vietnam | 10 |
| France | 7 |
| India | 6 |
| United Kingdom | 5 |
| Poland | 4 |
| Belgium | 2 |
| Chile | 2 |
| Indonesia | 2 |
| Iran | 2 |
| Romania | 2 |
| Ukraine | 2 |
| Canada | 1 |
| Finland | 1 |
| Hong Kong SAR China | 1 |
| Japan | 1 |
| Sweden | 1 |
| Singapore | 1 |
Top city views
| views | |
|---|---|
| Philadelphia | 27 |
| Vienna | 16 |
| Hanoi | 10 |
| Ann Arbor | 6 |
| Beijing | 5 |
| Bengaluru | 5 |
| Dearborn | 4 |
| Johannesburg | 4 |
| Kraków | 4 |
| Southend | 4 |
| Saint Petersburg | 3 |
| Chengdu | 2 |
| Craiova | 2 |
| Fuzhou | 2 |
| Moscow | 2 |
| Pretoria | 2 |
| Santiago | 2 |
| Balashikha | 1 |
| Boardman | 1 |
| Boksburg | 1 |
| Central | 1 |
| Chongqing | 1 |
| Denpasar | 1 |
| Fullerton | 1 |
| Helsinki | 1 |
| Hyderabad | 1 |
| Jacksonville | 1 |
| Krivoy Rog | 1 |
| Mentougou | 1 |
| Nürnberg | 1 |
| Oakland | 1 |
| Ottawa | 1 |
| Piscataway | 1 |
| Purwokerto | 1 |
| San Jose | 1 |
| Tokyo | 1 |
| Weinan | 1 |
| Wilmington | 1 |
| Zhengzhou | 1 |