Statistics for Astra: Evaluating Translations from Alloy to SMT-LIB
Total visits
views | |
---|---|
Astra: Evaluating Translations from Alloy to SMT-LIB | 90 |
Total visits per month
views | |
---|---|
February 2024 | 0 |
March 2024 | 34 |
April 2024 | 10 |
May 2024 | 9 |
June 2024 | 12 |
July 2024 | 9 |
August 2024 | 0 |
File Visits
views | |
---|---|
Abbassi_Ali.pdf(legacy) | 33 |
Top country views
views | |
---|---|
United States | 37 |
Ireland | 16 |
Singapore | 9 |
Poland | 6 |
Hong Kong SAR China | 4 |
Russia | 4 |
Germany | 2 |
South Korea | 2 |
Pakistan | 2 |
Austria | 1 |
Australia | 1 |
Canada | 1 |
China | 1 |
France | 1 |
Israel | 1 |
Netherlands | 1 |
Sweden | 1 |
Top city views
views | |
---|---|
Dublin | 16 |
Singapore | 6 |
Rzeszów | 5 |
San Jose | 5 |
Ashburn | 4 |
Boardman | 4 |
Hong Kong | 4 |
Coeur d'Alene | 2 |
Columbus | 2 |
Del Norte | 2 |
Faisalabad | 2 |
Moscow | 2 |
Springfield | 2 |
Amsterdam | 1 |
Berlin | 1 |
Chicago | 1 |
Council Bluffs | 1 |
Nuremberg | 1 |
Richmond | 1 |
Sandston | 1 |
Shanghai | 1 |
Sydney | 1 |
Vienna | 1 |
Warsaw | 1 |
Washington | 1 |