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 | 90 |
Total de visitas por mês
| views | |
|---|---|
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 3 |
| maio 2026 | 0 |
Downloads
| views | |
|---|---|
| Tese de Doutoramento anterior a Agosto de 2013 sem autorização de depósito.pdf | 28 |
Top de consultas por país
| views | |
|---|---|
| China | 27 |
| Estados Unidos | 24 |
| Irlanda | 9 |
| Portugal | 9 |
| Reino Unido | 5 |
| Austrália | 4 |
| Letónia | 3 |
| Alemanha | 2 |
| Índia | 2 |
| Ucrânia | 2 |
| Argentina | 1 |
| Brasil | 1 |
| Seicheles | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Lisbon | 1 |
| London | 1 |