Statistics for Practical formal methods for software analysis and development
Total visits
views | |
---|---|
Practical formal methods for software analysis and development | 170 |
Total visits per month
views | |
---|---|
October 2023 | 3 |
November 2023 | 1 |
December 2023 | 1 |
January 2024 | 0 |
February 2024 | 1 |
March 2024 | 0 |
April 2024 | 0 |
File Visits
views | |
---|---|
FERLES-DISSERTATION-2020.pdf | 164 |
Top country views
views | |
---|---|
United States | 98 |
Hong Kong SAR China | 21 |
China | 13 |
Germany | 4 |
Taiwan | 4 |
India | 3 |
Costa Rica | 2 |
Croatia | 2 |
Iran | 2 |
Japan | 2 |
New Zealand | 2 |
Pakistan | 2 |
Russia | 2 |
Singapore | 2 |
Australia | 1 |
Canada | 1 |
Dominican Republic | 1 |
Greece | 1 |
Ireland | 1 |
South Korea | 1 |
Sri Lanka | 1 |
Nigeria | 1 |
Netherlands | 1 |
Poland | 1 |
Top city views
views | |
---|---|
Austin | 9 |
Ashburn | 7 |
Auckland | 2 |
Happy Valley | 2 |
Mashhad | 2 |
Santa Clara | 2 |
Silver Spring | 2 |
Singapore | 2 |
Split | 2 |
Tokyo | 2 |
Washington | 2 |
Athens | 1 |
Beijing | 1 |
Bengaluru | 1 |
Boardman | 1 |
Central | 1 |
Chicago | 1 |
Colombo | 1 |
Council Bluffs | 1 |
Des Moines | 1 |
Dublin | 1 |
Emeryville | 1 |
Guangzhou | 1 |
Hillsboro | 1 |
Islamabad | 1 |
Khabarovsk | 1 |
Lagos | 1 |
Los Angeles | 1 |
Napanee | 1 |
New Delhi | 1 |
New Taipei | 1 |
Norfolk | 1 |
Olalla | 1 |
Quanzhou | 1 |
Raleigh | 1 |
Rawalpindi | 1 |
Santo Domingo Este | 1 |
Seattle | 1 |
Seoul | 1 |
St Petersburg | 1 |
Stanford | 1 |
Sugar Land | 1 |
Sydney | 1 |
Taichung | 1 |
Taipei | 1 |
The Hague | 1 |
Warsaw | 1 |
Zhengzhou | 1 |