Statistics
Total Visits
| Views | |
|---|---|
| Verification of Security Properties Using Formal Techniques | 529 |
Total Visits Per Month
| April 2024 | May 2024 | June 2024 | July 2024 | August 2024 | September 2024 | October 2024 | |
|---|---|---|---|---|---|---|---|
| Verification of Security Properties Using Formal Techniques | 4 | 2 | 9 | 16 | 11 | 30 | 5 |
File Visits
| Views | |
|---|---|
| Thesis-SA.pdf | 6115 |
Top country views
| Views | |
|---|---|
| United States | 95 |
| Germany | 42 |
| China | 33 |
| Sweden | 21 |
| United Kingdom | 10 |
| Ukraine | 7 |
| Argentina | 5 |
| Australia | 3 |
| Belgium | 3 |
| Canada | 3 |
Top cities views
| Views | |
|---|---|
| Ashburn | 25 |
| Frankfurt am Main | 23 |
| San Mateo | 6 |
| Beijing | 4 |
| Hamburg | 3 |
| Hanoi | 3 |
| Placentia | 3 |
| Winnipeg | 3 |
| Boardman | 2 |
| Göttingen | 2 |