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 | 95 |
Total de visitas por mês
| views | |
|---|---|
| março 2026 | 0 |
| abril 2026 | 3 |
| maio 2026 | 0 |
| junho 2026 | 0 |
| julho 2026 | 0 |
| agosto 2026 | 5 |
| setembro 2026 | 0 |
Downloads
| views | |
|---|---|
| Tese de Doutoramento anterior a Agosto de 2013 sem autorização de depósito.pdf | 48 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 29 |
| China | 27 |
| 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 |
| Los Angeles | 1 |