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 | |
---|---|
June 2024 | 3 |
July 2024 | 16 |
August 2024 | 7 |
September 2024 | 4 |
October 2024 | 1 |
November 2024 | 0 |
December 2024 | 0 |
File Visits
views | |
---|---|
Keith_oregon_0171A_10330.pdf | 78 |
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 |