Statistics
Total Visits
Name | Views |
---|---|
Verification of programs with Z3 | 515 |
Total Visits per Month
Name | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 |
---|---|---|---|---|---|---|---|
Verification of programs with Z3 | 7 | 5 | 9 | 8 | 11 | 7 | 5 |
File Downloads
Name | Views |
---|---|
fulltext.pdf | 1681 |
Top Country Views
Name | Views |
---|---|
Canada | 148 |
United States | 46 |
China | 11 |
Germany | 7 |
India | 7 |
Australia | 5 |
Poland | 4 |
France | 3 |
United Kingdom | 3 |
Japan | 3 |
Top City Views
Name | Views |
---|---|
Hamilton | 137 |
Louisville | 6 |
Falls Church | 4 |
San Ramon | 4 |
Des Moines | 3 |
Mountain View | 3 |
Beijing | 2 |
Cambridge | 2 |
Menlo Park | 2 |
Poznan | 2 |