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
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