Statistics for RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Total visits
views | |
---|---|
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions | 41 |
Total visits per month
views | |
---|---|
June 2024 | 0 |
July 2024 | 0 |
August 2024 | 0 |
September 2024 | 0 |
October 2024 | 0 |
November 2024 | 0 |
December 2024 | 0 |
File Visits
views | |
---|---|
rada_fse2013.pdf | 178 |
Top country views
views | |
---|---|
United States | 30 |
China | 3 |
Argentina | 1 |
Germany | 1 |
Hong Kong SAR China | 1 |
Ireland | 1 |
Italy | 1 |
Poland | 1 |
Russia | 1 |
Singapore | 1 |
Top city views
views | |
---|---|
Ashburn | 24 |
Boardman | 3 |
Zhengzhou | 2 |
Central | 1 |
Czluchow | 1 |
Des Moines | 1 |
Dublin | 1 |
Minneapolis | 1 |
Novoye Devyatkino | 1 |
San Giuliano Milanese | 1 |
Singapore | 1 |