Estatísticas para On the formal verification of specifications based on typestates with access permissions
Total de visitas
| views | |
|---|---|
| On the formal verification of specifications based on typestates with access permissions | 87 |
Total de visitas por mês
| views | |
|---|---|
| agosto 2025 | 0 |
| setembro 2025 | 0 |
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
Downloads
| views | |
|---|---|
| Tese de Doutoramento anterior a Agosto de 2013 sem autorização de depósito.pdf | 22 |
Top de consultas por país
| views | |
|---|---|
| China | 27 |
| Estados Unidos | 23 |
| Irlanda | 9 |
| Portugal | 8 |
| Austrália | 4 |
| Reino Unido | 4 |
| Letónia | 3 |
| Alemanha | 2 |
| Índia | 2 |
| Ucrânia | 2 |
| Argentina | 1 |
| Brasil | 1 |
| Seicheles | 1 |