Statistics for Extending Dynamic Invariant Detection with Explicit Abstraction
Total visits
| views | |
|---|---|
| Extending Dynamic Invariant Detection with Explicit Abstraction | 127 |
Total visits per month
| views | |
|---|---|
| May 2024 | 0 |
| June 2024 | 3 |
| July 2024 | 16 |
| August 2024 | 7 |
| September 2024 | 4 |
| October 2024 | 1 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| Keith_oregon_0171A_10330.pdf | 71 |
Top country views
| views | |
|---|---|
| United States | 69 |
| China | 19 |
| Russia | 7 |
| Ireland | 6 |
| France | 5 |
| Sweden | 5 |
| United Kingdom | 3 |
| Australia | 2 |
| Vietnam | 2 |
| Argentina | 1 |
| Bulgaria | 1 |
| Finland | 1 |
| Indonesia | 1 |
| India | 1 |
| Japan | 1 |
| South Korea | 1 |
| Singapore | 1 |
| Ukraine | 1 |
Top city views
| views | |
|---|---|
| Gaithersburg | 26 |
| Dublin | 6 |
| Zhengzhou | 6 |
| Beijing | 5 |
| Moscow | 4 |
| Reims | 4 |
| Washington | 4 |
| Boardman | 3 |
| Ashburn | 2 |
| Balashikha | 2 |
| Hanoi | 2 |
| Orlando | 2 |
| Pelham | 2 |
| Brisbane | 1 |
| Des Moines | 1 |
| Fairfax | 1 |
| Kharagpur | 1 |
| Khimki | 1 |
| Marrickville | 1 |
| Singapore | 1 |
| Xianyang | 1 |