Statistics
Total Visits
| Views | |
|---|---|
| Verification of Security Properties Using Formal Techniques | 851 |
Total Visits Per Month
| July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | January 2026 | |
|---|---|---|---|---|---|---|---|
| Verification of Security Properties Using Formal Techniques | 15 | 13 | 20 | 22 | 19 | 17 | 28 |
File Visits
| Views | |
|---|---|
| Thesis-SA.pdf | 9969 |
Top country views
| Views | |
|---|---|
| United States | 231 |
| Germany | 76 |
| China | 55 |
| United Kingdom | 25 |
| Japan | 23 |
| Sweden | 21 |
| Singapore | 20 |
| Vietnam | 14 |
| Brazil | 9 |
| Australia | 7 |
Top cities views
| Views | |
|---|---|
| San Mateo | 65 |
| Frankfurt am Main | 38 |
| Ashburn | 26 |
| Singapore | 18 |
| Hamburg | 12 |
| Beijing | 9 |
| Placentia | 8 |
| San Jose | 7 |
| Hanoi | 5 |
| Hohhot | 3 |